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 52c3a67 + 55d291e commit 912ed6fCopy full SHA for 912ed6f
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