Hi,

I have find a bug in GNU Wget 1.13.4 :

wget "$edt_url" --config="$wget_config" \
--post-data="login=$edt_login&password=$edt_password&action=Connexion" \
--keep-session-cookies --save-cookies '/tmp/edt_cookies.txt' \
-O '/dev/null' -nv -a "$log"

is not equivalent to

wget "$edt_url" \
--post-data="login=$edt_login&password=$edt_password&action=Connexion" \
--keep-session-cookies --save-cookies '/tmp/edt_cookies.txt' \
-O '/dev/null' -nv -a "$log" --config="$wget_config"

In the first case, wget runs correctly.

In the second case, wget ignores --config.

$wget_config is a file who contains proxy parameters.

cat $wget_config
http_proxy = http://????.????:????@10.10.28.5:3128
use_proxy = on
wait = 15


Reply via email to