From d21fe6a1b154b48d33341bf62e33ff2653a246ff Mon Sep 17 00:00:00 2001
From: Rolf Niepraschk <Rolf.Niepraschk@ptb.de>
Date: Wed, 19 Aug 2020 07:39:21 +0200
Subject: [PATCH] Test if file VERSION exists
---
README.md | 9 +++++++--
1 file changed, 7 insertions(+), 2 deletions(-)
diff --git a/README.md b/README.md
index 112b276..88cff50 100644
--- a/README.md
+++ b/README.md
@@ -15,12 +15,17 @@ content:
toplevel=$(git rev-parse --show-toplevel)
f=${toplevel}/VERSION
-touch $f
+
+if [ ! -f "$f" ]; then
+ touch "$f"
+ git add "$f" 2>/dev/null
+fi
+
old_version=$(cat $f)
new_version=$(git describe --tags --abbrev=0)
if [ "$old_version" != "$new_version" ]; then
- echo "$new_version" > $f
+ echo "$new_version" > "$f"
git commit -am "update version to '"$new_version"'"
git push origin # Is required because normal push does not necessarily happen
fi
--
GitLab