Re: [Bug-wget] warning about unknown .wgetrc directives

2014-04-04 Thread Giuseppe Scrivano
Hi Karl, k...@freefriends.org (Karl Berry) writes: Giuseppe et al., I suggest making unknown .wgetrc directives a warning (and just ignore them, proceeding on normally), rather than a failure. For purposes of compatibility - a person might have a brand-new wget on system A, but for

Re: [Bug-wget] warning about unknown .wgetrc directives

2014-04-04 Thread Darshit Shah
On Fri, Apr 4, 2014 at 4:40 PM, Giuseppe Scrivano gscriv...@gnu.org wrote: Hi Karl, k...@freefriends.org (Karl Berry) writes: Giuseppe et al., I suggest making unknown .wgetrc directives a warning (and just ignore them, proceeding on normally), rather than a failure. For purposes of

Re: [Bug-wget] warning about unknown .wgetrc directives

2014-04-04 Thread Giuseppe Scrivano
Darshit Shah dar...@gmail.com writes: Unless we add something like --ignore-wgetrc-errors... I think that's over-engineering the problem. Some time ago, Tim, if I remember correctly proposed using version lines. So, newer commands can be marked as valid under a certain version only. The

Re: [Bug-wget] warning about unknown .wgetrc directives

2014-04-04 Thread Darshit Shah
On Fri, Apr 4, 2014 at 5:25 PM, Giuseppe Scrivano gscriv...@gnu.org wrote: Darshit Shah dar...@gmail.com writes: Unless we add something like --ignore-wgetrc-errors... I think that's over-engineering the problem. Some time ago, Tim, if I remember correctly proposed using version

Re: [Bug-wget] warning about unknown .wgetrc directives

2014-04-04 Thread Tim Rühsen
Am Freitag, 4. April 2014, 17:14:07 schrieb Darshit Shah: On Fri, Apr 4, 2014 at 4:40 PM, Giuseppe Scrivano gscriv...@gnu.org wrote: Hi Karl, k...@freefriends.org (Karl Berry) writes: Giuseppe et al., I suggest making unknown .wgetrc directives a warning (and just ignore them,