From: Wolfram Schneider <wosch@indexdata.dk>
Date: Tue, 7 Jul 2015 13:01:43 +0000 (+0000)
Subject: generate a true shell script
X-Git-Url: http://git.indexdata.com/?p=git-tools-moved-to-github.git;a=commitdiff_plain;h=3460d0e0459b71f8c4bb86357c7184d60aa6f53b

generate a true shell script
---

diff --git a/id-release b/id-release
index 5acbcfb..8039946 100755
--- a/id-release
+++ b/id-release
@@ -22,7 +22,9 @@ case $1 in
        * ) usage ;;
 esac
 
+echo "#!/bin/sh"
 echo "# See also https://twiki.indexdata.com/twiki/bin/view/ID/AdamsReleaseProcedure"
+echo "set -e"
 echo ""
 
 echo "# Did you updated the news log file?"
@@ -99,3 +101,5 @@ echo "# if successfully, don't forget to push to origin"
 echo "git push origin master"
 echo "git push origin tag v$version"
 
+# EOF
+