Merge pull request #65 from liuzhenqi77/liuzhenqi77-patch-1

[FIX] Update install_dependencies.sh to resolve wget dns failure
netneurolab · Jul 27, 2022 · b200395 · b200395
2 parents 614a3d5 + 87f404d
commit b200395
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/tools/install_dependencies.sh b/tools/install_dependencies.sh
@@ -23,7 +23,10 @@ if [ -n "${OPTIONAL_DEPENDS}" ]; then
     done
 fi
 
-wget https://www.humanconnectome.org/storage/app/media/workbench/workbench-linux64-v1.5.0.zip
+while true; do
+    wget --retry-connrefused --waitretry=1 --read-timeout=20 --timeout=15 -t 0 --no-dns-cache -c \
+        https://www.humanconnectome.org/storage/app/media/workbench/workbench-linux64-v1.5.0.zip && break
+done
 unzip workbench-linux64-v1.5.0.zip -d "${HOME}"
 echo "${HOME}/workbench/bin_linux64" >> "${GITHUB_PATH}"