Skip to content

Commit 531e35d

Browse files
committed
force wget or curl to save files using the expected filename
1 parent 5bcbe04 commit 531e35d

File tree

1 file changed

+4
-2
lines changed

1 file changed

+4
-2
lines changed

distribute.sh

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -52,8 +52,10 @@ if [ "X$WGET" == "X" ]; then
5252
echo "Error: you need at least wget or curl installed."
5353
exit 1
5454
else
55-
WGET="$WGET -L -O"
55+
WGET="$WGET -L -O -o"
5656
fi
57+
else
58+
WGET="$WGET -O"
5759
fi
5860

5961
case $OSTYPE in
@@ -470,7 +472,7 @@ function run_get_packages() {
470472
# download if needed
471473
if [ $do_download -eq 1 ]; then
472474
info "Downloading $url"
473-
try $WGET $url
475+
try $WGET $filename $url
474476
else
475477
debug "Module $module already downloaded"
476478
fi

0 commit comments

Comments
 (0)