Update packaging info script

2017-09-12 23:34:53 +02:00
parent 542aa56840
commit 7666077c63
1 changed files with 5 additions and 4 deletions
--- a/packaging/update_version_status.sh
+++ b/packaging/update_version_status.sh
@@ -1,11 +1,12 @@
 #!/bin/bash

-exec > ~/tint2.runner-version.log
-exec 2>&1
-
 set -e
 set -x

+flock -w 0 ~/tint2.runner-version.log
+
+exec > ~/tint2.runner-version.log
+exec 2>&1

 cd ~/tint2.wiki
 git reset --hard
@@ -17,4 +18,4 @@ cat packaging.tmp.md > packaging.md
 rm packaging.tmp.md

 git commit -am 'Update packaging info'
-git push
+git push origin master