Add script to fetch and merge GitHub user token list

badges · Nov 10, 2017 · 445c3b0 · 445c3b0
1 parent 230b2b8
commit 445c3b0
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/get-github-tokens.sh b/get-github-tokens.sh
@@ -0,0 +1,12 @@
+#!/bin/bash
+DIR=$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)
+ips=$(< "$DIR"/../private/secret.json jq -r .shieldsIps[])
+for ip in $ips; do
+  scp root@"$ip":/home/m/shields/private/github-user-tokens.json "$ip"
+done
+
+echo "$ips" | xargs jq -s 'add|unique'
+
+for ip in $ips; do
+  rm "$ip"
+done