From: Wolfram Schneider Date: Tue, 11 Aug 2015 13:16:06 +0000 (+0000) Subject: simplify shell header X-Git-Url: http://git.indexdata.com/?p=git-tools-moved-to-github.git;a=commitdiff_plain;h=90dec9f95d1f9dc670a9238fd6eb6573a80527e7 simplify shell header --- diff --git a/id-release b/id-release index d0aa273..02d1d80 100755 --- a/id-release +++ b/id-release @@ -22,10 +22,15 @@ case $1 in * ) usage ;; esac -echo "#!/bin/sh" -echo "# See also https://twiki.indexdata.com/twiki/bin/view/ID/AdamsReleaseProcedure" -echo "set -e" -echo "" +cat <