From 7666077c63e9b0604a89d76c0d9d21a9ef56e26b Mon Sep 17 00:00:00 2001 From: o9000 Date: Tue, 12 Sep 2017 23:34:53 +0200 Subject: [PATCH] Update packaging info script --- packaging/update_version_status.sh | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/packaging/update_version_status.sh b/packaging/update_version_status.sh index e9ea4e2..49b0536 100755 --- 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