...

1 files changed, 22 insertions, 0 deletions

diff --git a/scripts/gh-get.py b/scripts/gh-get.py
new file mode 100644
index 0000000..9d9693f
--- /dev/null
+++ b/scripts/gh-get.py
@@ -0,0 +1,22 @@
+#!/usr/bin/env python
+
+from gh import gh, pr
+import sys, os
+
+filter = None
+if len(sys.argv) == 2:
+	filter = sys.argv[1]
+
+tok = os.getenv('GITHUB_TOKEN')
+
+draft = [r for r in gh('releases') if r['draft']][0]
+
+for a in draft['assets']:
+	if filter == None or filter in a['name']:
+		print('Downloading ' + a['name'])
+		b = gh('releases/assets/%s' % a['id'],
+			   ['-L', '-H', 'Accept: application/octet-stream'],
+			   parse=False, quiet=False)
+		f = open(a['name'], 'w')
+		f.write(b)
+		f.close()