diff options
Diffstat (limited to 'Biz/Dragons')
| -rw-r--r-- | Biz/Dragons/env.sh (renamed from Biz/Dragons/env.bash) | 1 | ||||
| -rwxr-xr-x | Biz/Dragons/get-examples.sh | 8 |
2 files changed, 5 insertions, 4 deletions
diff --git a/Biz/Dragons/env.bash b/Biz/Dragons/env.sh index 86a2f69..2bc4fbb 100644 --- a/Biz/Dragons/env.bash +++ b/Biz/Dragons/env.sh @@ -1,3 +1,4 @@ +# shellcheck disable=all # This is an example env file for Dragons.dev. Copy this to /run/dragons/env and # fill in the values. # diff --git a/Biz/Dragons/get-examples.sh b/Biz/Dragons/get-examples.sh index c7e4bc7..d488fe9 100755 --- a/Biz/Dragons/get-examples.sh +++ b/Biz/Dragons/get-examples.sh @@ -3,20 +3,20 @@ ## if [ "$#" == "0" ] then - echo "usage: $(basename $0) <cookie>" + echo "usage: $(basename "$0") <cookie>" echo "copy the cookie from the browser dev console" exit 1 else cookie="$1" - curl 'https://dragons.dev/analysis' \ + if curl 'https://dragons.dev/analysis' \ -d "owner=github&repo=training-kit" \ -X POST \ -H 'Content-Type: application/x-www-form-urlencoded' \ -H "Cookie: JWT-Cookie=$cookie" \ --silent \ --compressed - if [[ $? -eq 0 ]]; then - echo done + then + echo okay exit 0 else echo error |