In the past, I have been confused as to whether the file which was generating the error was on the server, or on my local system. If there is a way to distinguish between the two, and be more explicit, that would be a little more helpful.
I don't see any way wget could/should do anything except report the error. Mark Post -----Original Message----- From: Hrvoje Niksic [mailto:[EMAIL PROTECTED] Sent: Thursday, September 01, 2005 6:16 AM Cc: Kentaro Ozawa; [EMAIL PROTECTED] Subject: Re: wget displays permission error Jochen Roderburg <[EMAIL PROTECTED]> writes: > Hmm, this did not actually try to write over 'index.html', did it ;-) > Do the same with 'timestamping on' and you get (not surprisingly and > with 'all' wget versions I have around) : > > index.html: Permission denied > Cannot write to `index.html' (Permission denied). But what is Wget to do in such a case except report an error?