Corrects the command line for wget.

Without this, wget deposits the launcher in the working directory and pipes zero bytes to the intended location.
2011-10-01 22:58:54 +02:00 · 2011-10-01 22:58:54 +02:00 · c4249308e3
parent 9a42fb6f8f
commit c4249308e3
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -176,7 +176,7 @@ download_url () {
    if which curl >/dev/null; then
      curl --silent "$url" --output "$jar"
    elif which wget >/dev/null; then
-      wget --quiet "$url" > "$jar"
+      wget --quiet -O "$jar" "$url"
    fi
  } && [[ -f "$jar" ]]
 }