8000
We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents 5bcbe04 + 531e35d commit 55d291eCopy full SHA for 55d291e
distribute.sh
@@ -52,8 +52,10 @@ if [ "X$WGET" == "X" ]; then
52
echo "Error: you need at least wget or curl installed."
53
exit 1
54
else
55
- WGET="$WGET -L -O"
+ WGET="$WGET -L -O -o"
56
fi
57
+else
58
+ WGET="$WGET -O"
59
60
61
case $OSTYPE in
@@ -470,7 +472,7 @@ function run_get_packages() {
470
472
# download if needed
471
473
if [ $do_download -eq 1 ]; then
474
info "Downloading $url"
- try $WGET $url
475
+ try $WGET $filename $url
476
477
debug "Module $module already downloaded"
478
0 commit comments