Re: [Bug-wget] Bug with GNU Wget 1.13.4, --config
Adrien Dumont adr@hotmail.fr writes: Hi, I have find a bug in GNU Wget 1.13.4 : wget $edt_url --config=$wget_config \ --post-data=login=$edt_loginpassword=$edt_passwordaction=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_loginpassword=$edt_passwordaction=Connexion \ --keep-session-cookies --save-cookies '/tmp/edt_cookies.txt' \ -O '/dev/null' -nv -a $log --config=$wget_config indeed it is a bug. I have pushed a patch that should fix it: commit b56a528aea6287a9fe5b7b339a4b5ba5d0b9b470 Author: Giuseppe Scrivano gscriv...@gnu.org Date: Sun Dec 9 17:04:39 2012 +0100 Do not honor --config only when used as first long argument Thanks to have reported it! Giuseppe
Re: [Bug-wget] Bug with GNU Wget 1.13.4, --config
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_loginpassword=$edt_passwordaction=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_loginpassword=$edt_passwordaction=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 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
[Bug-wget] Bug with GNU Wget 1.13.4, --config
Hi, I have find a bug in GNU Wget 1.13.4 : wget $edt_url --config=$wget_config \ --post-data=login=$edt_loginpassword=$edt_passwordaction=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_loginpassword=$edt_passwordaction=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