From fb3ea71e49c6eb37dcacffffa7857229a4f183dd Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Mon, 22 Mar 2021 10:55:02 -0400
Subject: Add script for loading example analysis

---
 Biz/Devalloc/get-examples.sh | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100755 Biz/Devalloc/get-examples.sh

diff --git a/Biz/Devalloc/get-examples.sh b/Biz/Devalloc/get-examples.sh
new file mode 100755
index 0000000..2e0647b
--- /dev/null
+++ b/Biz/Devalloc/get-examples.sh
@@ -0,0 +1,13 @@
+#!/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
-- 
cgit v1.2.3