From b4a55110e3a9572b32df10c841e7b4d06ad0a9da Mon Sep 17 00:00:00 2001
From: lethosor <lethosor@gmail.com>
Date: Mon, 29 Jun 2020 22:35:23 -0400
Subject: [PATCH] Also try downloading DF from files.dfhack.org

---
 travis/download-df.sh | 16 ++++++++++++++--
 1 file changed, 14 insertions(+), 2 deletions(-)

diff --git a/travis/download-df.sh b/travis/download-df.sh
index 6918a596a..49dcedea7 100755
--- a/travis/download-df.sh
+++ b/travis/download-df.sh
@@ -4,7 +4,6 @@ set -e
 
 tardest="df.tar.bz2"
 
-which md5sum && alias md5=md5sum
 selfmd5=$(openssl md5 < "$0")
 echo $selfmd5
 
@@ -30,7 +29,20 @@ if [ ! -f receipt ]; then
     patch=$(echo "$DF_VERSION" | cut -d. -f3)
     url="http://www.bay12games.com/dwarves/df_${minor}_${patch}_linux.tar.bz2"
     echo Downloading
-    wget "$url" -O "$tardest"
+    while read url; do
+        echo "Attempting download: ${url}"
+        if wget -v "$url" -O "$tardest"; then
+            break
+        fi
+    done <<URLS
+    https://www.bay12games.com/dwarves/df_${minor}_${patch}_linux.tar.bz2
+    https://files.dfhack.org/DF/0.${minor}.${patch}/df_${minor}_${patch}_linux.tar.bz2
+URLS
+    echo $tardest
+    if ! test -f "$tardest"; then
+        echo "DF failed to download: $tardest not found"
+        exit 1
+    fi
 fi
 
 rm -rf df_linux