Add a timeout to the version checker script

This commit is contained in:
o9000 2017-12-31 09:20:15 +00:00
parent 95eea350fe
commit ee92fac10e

View file

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