From ee92fac10efe7c96b812520eb12a87857f662fd4 Mon Sep 17 00:00:00 2001 From: o9000 Date: Sun, 31 Dec 2017 09:20:15 +0000 Subject: [PATCH] Add a timeout to the version checker script --- packaging/update_version_status.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packaging/update_version_status.sh b/packaging/update_version_status.sh index a56a38d..7e583e6 100755 --- a/packaging/update_version_status.sh +++ b/packaging/update_version_status.sh @@ -15,7 +15,7 @@ git reset --hard git pull -timeout -k 600 ~/tint2/packaging/version_status.py > packaging.tmp.md +timeout -k 10 600 ~/tint2/packaging/version_status.py > packaging.tmp.md cat packaging.tmp.md > packaging.md rm packaging.tmp.md