diff options
author | Dieter Plaetinck <dieter@plaetinck.be> | 2009-08-25 22:28:51 +0200 |
---|---|---|
committer | Dieter Plaetinck <dieter@plaetinck.be> | 2009-08-25 22:28:51 +0200 |
commit | cd0d1439455c3dbc1574885567cbf8da841415f7 (patch) | |
tree | ac4e61f814476c06c902a67bb119a60e0d6cc4de /examples | |
parent | cbdf7cf74b708e717dfe79d0cfc470ecfa93f520 (diff) | |
parent | d65956b40cb3b4c1ba21b54d2e5184d67c27cbe9 (diff) |
Merge commit 'pawelz/experimental' into experimental
Diffstat (limited to 'examples')
-rwxr-xr-x | examples/data/uzbl/scripts/download.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/examples/data/uzbl/scripts/download.sh b/examples/data/uzbl/scripts/download.sh index aa1ca09..c8eb6ba 100755 --- a/examples/data/uzbl/scripts/download.sh +++ b/examples/data/uzbl/scripts/download.sh @@ -8,6 +8,9 @@ GET="wget --user-agent=Firefox" dest="$HOME" url="$8" +http_proxy="$9" +export http_proxy + test "x$url" = "x" && { echo "you must supply a url! ($url)"; exit 1; } # only changes the dir for the $get sub process |