Hi all,

    I'm using wget to mirror (recursively) a remote directory over http. I 
think wget is very nice for this job, but unfortunately it lacks an option to 
delete files (locally) that were downloaded earlier but are no longer available 
on the remote server. Right now wget just ignores these files and leaves the 
local copy unmodified. Is there any chance that this option will be added to 
wget? I've found post online by people with this very same problem since at 
least 2004...

Thanks





----
Sent using GuerrillaMail.com
Block or report abuse: 
https://www.guerrillamail.com/abuse/?a=Q1RzSBoHRqA1jwChvnENdQ%3D%3D




Reply via email to