Re: problem with wget -O
On 2021-01-26 07:36:46 -0500, Greg Wooledge wrote:
> On Tue, Jan 26, 2021 at 06:27:40AM -0500, Gene Heskett wrote:
> > The thing I don't get was that is the direct command from their buildit
> > page. You would think that would lead to such a common failure that it
> > would be documented.
>
> Nobody should have to guess that the reader has a custom ~/.wgetrc file
> with multiple non-default options set to "on". It is completely unfair
> to put the blame for this on the writers of documentation that involves
> downloading files.
Having non-default options in a .wgetrc file is the point of a
.wgetrc file. :-)
But perhaps wget should not read a config by default. This is
what GNU grep did by no longer supporting GREP_OPTIONS: if a
user wants default options, he can create an alias (with a name
different from any common utility). For instance, for grep,
I have a "gr" alias: it is shorter to type and doesn't break
the default usage of grep (which may be needed in scripts and
in commands from documentation).
--
Vincent Lefèvre <vincent@vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
Reply to: