Add a timeout to the version checker script

This commit is contained in:
o9000 2017-12-31 09:15:34 +00:00
parent 8242b494bc
commit 95eea350fe

View file

@ -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