From 44839f0c457d76f1f885ea80e42d93c207385c30 Mon Sep 17 00:00:00 2001
From: Zachary Vance <za3k@za3k.com>
Date: Thu, 19 Nov 2015 22:17:19 -0800
Subject: [PATCH] Add get-all command

---
 github.html | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

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>
-- 
2.47.3