Archiving a bunch of old stuff

2015-06-22 13:15:42 -05:00
parent a6ec1d560e
commit bd1abd8734
395 changed files with 1 additions and 76 deletions
--- a/oldstuff/algs4/download-others
+++ b/oldstuff/algs4/download-others
@@ -0,0 +1,21 @@
+#!/bin/bash
+
+set -e
+set -x
+
+OTHERS="$(cat others.txt)"
+
+cd src/java
+
+for other in $OTHERS
+do
+    if [ ! -f "$other" ]
+    then
+        dn=$(dirname "$other")
+        mkdir -p "$dn"
+        pushd "$dn"
+        curl -O "http://algs4.cs.princeton.edu/${other}"
+        chmod 444 "$(basename "$other")"
+        popd
+    fi
+done