From 95eea350feaa48f6d2c2c23621370fdd911472cb Mon Sep 17 00:00:00 2001 From: o9000 Date: Sun, 31 Dec 2017 09:15:34 +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 81aca06..a56a38d 100755 --- a/packaging/update_version_status.sh +++ b/packaging/update_version_status.sh @@ -15,7 +15,7 @@ git reset --hard git pull -~/tint2/packaging/version_status.py > packaging.tmp.md +timeout -k 600 ~/tint2/packaging/version_status.py > packaging.tmp.md cat packaging.tmp.md > packaging.md rm packaging.tmp.md