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

[Tim Rühsen]

Am Dienstag, 4. Dezember 2012 schrieb 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

Just to confirm it, Wget 1.14 suffers from the same behaviour. I am not shure, 
if it is a bug or a documented feature.

Reducing the CLI options, it turns out that the order of --config and --post-
data matters. --config after --post-data ignores the proxy settings.

Regards, Tim