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.
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