Michiel de Boer wrote:
> Is there another way though to achieve the same thing?
You can always run wget and then rename the file afterward. If this happens
often, you might want write a shell script to handle it. Of course, If you
want all the references to the file to be converted, the script wi
Steven M. Schweda wrote:
From: Michiel de Boer
[...] Therefore I use -O to write to a more sensible name. [...]
Unfortunately, "-O" does not do name conversion, it simply directs
all the program output to a specified file, and this causes bad behavior
when "-O" is combined with many other
From: Michiel de Boer
> [...] Therefore I use -O to write to a more sensible name. [...]
Unfortunately, "-O" does not do name conversion, it simply directs
all the program output to a specified file, and this causes bad behavior
when "-O" is combined with many other options. Use the "Search"
