diff options
Diffstat (limited to 'Biz/Dragons/get-examples.sh')
| -rwxr-xr-x | Biz/Dragons/get-examples.sh | 8 |
1 files changed, 4 insertions, 4 deletions
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 |