15 Apr
2014
15 Apr
'14
01:18
Carlos, et al -- ...and then Carlos E. R. said... % % On 2014-04-14 12:38, David T-G wrote: % > ... % > davidtg@u17383850:~> wget --help | egrep -i write % > -O, --output-document=FILE write documents to FILE. ... % % I did not identify "documents" as the downloaded file. I think of % "document", well... as documents. Papers. Text files. Fair enough. I suspect that it originally meant an HTML document file, which is the sort of thing you'd likely see on the web and would want to download with wget, but since then times have changed to include these new-fangled video thingies (amongst other things) ;-) HAND :-D -- David T-G See http://justpickone.org/davidtg/email/ See http://justpickone.org/davidtg/tofu.txt