Skip to content

Commit

Permalink
Update install_dependencies.sh
Browse files Browse the repository at this point in the history
  • Loading branch information
liuzhenqi77 authored Jul 26, 2022
1 parent 8be43b7 commit 87f404d
Showing 1 changed file with 4 additions and 2 deletions.
6 changes: 4 additions & 2 deletions tools/install_dependencies.sh
Original file line number Diff line number Diff line change
Expand Up @@ -23,8 +23,10 @@ if [ -n "${OPTIONAL_DEPENDS}" ]; then
done
fi

wget --retry-connrefused --waitretry=1 --read-timeout=20 --timeout=15 -t 0 --no-dns-cache \
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}"

Expand Down

0 comments on commit 87f404d

Please sign in to comment.