[Bug-wget] Bug with GNU Wget 1.13.4, --config

[Adrien Dumont]

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://????.????:address@hidden:3128
use_proxy = on
wait = 15