Update README

2024-10-20 17:50:08 +02:00
parent c6286dafc7
commit 6b2b1a6968
4 changed files with 108 additions and 12 deletions
--- a/deploy/create-github-release.sh
+++ b/deploy/create-github-release.sh
@ -10,6 +10,11 @@ set -e
 version="$1"
 releasepath="$2"

+if [ -z "$version" ] || [ -z "$releasepath" ]; then
+    echo "Usage: $0 <version> <releasepath>"
+    exit 1
+fi
+
 if [ -z "$GITHUB_API_TOKEN" ]; then
    github_api_token=`cat ~/githubtoken`
 else