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.
1 parent 5bcbe04 commit 531e35dCopy full SHA for 531e35d
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