#!/usr/bin/env bash # ## if [ "$#" == "0" ] then echo "usage: $(basename "$0") " echo "copy the cookie from the browser dev console" exit 1 else cookie="$1" 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 then echo okay exit 0 else echo error exit 1 fi fi ##