From: Zachary Vance <za3k@za3k.com>
Date: Fri, 20 Nov 2015 06:17:19 +0000 (-0800)
Subject: Add get-all command
X-Git-Url: https://git.za3k.com/?a=commitdiff_plain;h=44839f0c457d76f1f885ea80e42d93c207385c30;p=za3k.git

Add get-all command
---

diff --git a/github.html b/github.html
index eb1ac99..5b2b8f3 100644
--- a/github.html
+++ b/github.html
@@ -6,7 +6,12 @@ Currently no one has archived github.com.
 I host the metadata for the repositories. Metadata for gists is currently unavailable from github, but I'm working with them to make it public.
 <ul>
 	<li>Full repository metadata is available in batches of 10,000 at <pre>http://za3k.com/github/repos-&lt;X>0000-&lt;X+1>0000.json
->http://za3k.com/github/repos-&lt;X>0000-&lt;X+1>0000.json.gz</pre></li>
+http://za3k.com/github/repos-&lt;X>0000-&lt;X+1>0000.json.gz</pre>
+    To download all files, run <pre>
+
+for x in {0..100}; do wget "http://za3k.com/github/repos-$((x*10000))-$(((x+1)*10000)).json.gz"; done
+    </pre>
+</li>
 	<li>You can grab greatly abbreviated metadata (recommended) as <a href="https://za3k.com/github/repos.json">JSON</a>.</li>
 	<li>Finally, you can get a txt file of just the repo names: <a href="https://za3k.com/github/repos.txt">txt</a>.</li>
 </ul>