diff options
Diffstat (limited to 'Biz/Devalloc/get-examples.sh')
| -rwxr-xr-x | Biz/Devalloc/get-examples.sh | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/Biz/Devalloc/get-examples.sh b/Biz/Devalloc/get-examples.sh deleted file mode 100755 index 2e0647b..0000000 --- a/Biz/Devalloc/get-examples.sh +++ /dev/null @@ -1,13 +0,0 @@ -#!/usr/bin/env bash -if [ "$#" == "0" ] -then - echo "usage: $(basename $0) <cookie>" - echo "copy the cookie from the browser dev console" - exit 1 -fi -cookie="$1" -curl 'https://devalloc.io/analysis?user=github&repo=training-kit' \ - -X POST \ - -H 'Content-Type: application/x-www-form-urlencoded' \ - -H "Cookie: JWT-Cookie=$cookie" \ - --compressed --insecure |