Allow using curl to download if wget is not installed.

Author: abergeron

data/download.sh

@@ -1,6 +1,19 @@
 #!/bin/sh
 
-wget -c http://www.iro.umontreal.ca/~lisa/deep/data/mnist/mnist.pkl.gz
-wget -c http://www.iro.umontreal.ca/~lisa/deep/data/mnist/mnist_py3k.pkl.gz
-wget -c http://www.iro.umontreal.ca/~lisa/deep/data/Nottingham.zip && unzip -u Nottingham.zip
-wget -c http://www.iro.umontreal.ca/~lisa/deep/midi.zip && unzip -u midi.zip -d ../code && echo "extracted Modified Python MIDI package (GPL)"
+which wget >/dev/null 2>&1
+WGET=$?
+which curl >/dev/null 2>&1
+CURL=$?
+if [ "$WGET" -eq 0 ]; then
+    DL_CMD="wget -c"
+elif [ "$CURL" -eq 0 ]; then
+    DL_CMD="curl -C - -O"
+else
+    echo "You need wget or curl installed to download"
+    exit 1
+fi
+
+$DL_CMD http://www.iro.umontreal.ca/~lisa/deep/data/mnist/mnist.pkl.gz
+$DL_CMD http://www.iro.umontreal.ca/~lisa/deep/data/mnist/mnist_py3k.pkl.gz
+$DL_CMD http://www.iro.umontreal.ca/~lisa/deep/data/Nottingham.zip && unzip -u Nottingham.zip
+$DL_CMD http://www.iro.umontreal.ca/~lisa/deep/midi.zip && unzip -u midi.zip -d ../code && echo "extracted Modified Python MIDI package (GPL)"