diff options
| author | Ben Sima <ben@bsima.me> | 2022-01-05 14:12:30 -0500 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2022-01-05 14:12:30 -0500 |
| commit | 354af91cdaded78f89d1879f229ff1fee4e96869 (patch) | |
| tree | defe1b1a1322dcff1e948a24acbf6d076dd69405 /Biz/Dragons | |
| parent | 9a10f244693f4d0c17f4e758e64dbdc014299c9f (diff) | |
Small infra updates
- notes about dovecot and ssl certs
- disable matrix because its not setup properly and i don't use it
- format some stuff
- fix path to git repos
Diffstat (limited to 'Biz/Dragons')
| -rwxr-xr-x | Biz/Dragons/get-examples.sh | 32 |
1 files changed, 22 insertions, 10 deletions
diff --git a/Biz/Dragons/get-examples.sh b/Biz/Dragons/get-examples.sh index 35f024f..c7e4bc7 100755 --- a/Biz/Dragons/get-examples.sh +++ b/Biz/Dragons/get-examples.sh @@ -1,14 +1,26 @@ #!/usr/bin/env bash -if [ "$#" == "0" ] -then +# +## + if [ "$#" == "0" ] + then echo "usage: $(basename $0) <cookie>" echo "copy the cookie from the browser dev console" exit 1 -fi -cookie="$1" -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" \ - --compressed + else + cookie="$1" + 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 + exit 0 + else + echo error + exit 1 + fi + fi +## |