Hi,
Do you think this is a good candidate for a feature request : I would like wget to delete a local file when this file has been deleted on the server. This would make wget perform truly as a "-m mirror" : why not "-M Mirror (with local deletion) " example : 1) wget gets files a,b,c,d 2) file c is deleted on server, file d is modified 3) wget -m updates file d , leaves local files a,b,c untouched I would like wget -M to : 3) wget -M updates file d, deletes the local copy of file c, and leaves a&b untouched. I think this is still in wget's scope : to "get" files, actual files. wget -m outputs a http404 when a file has been deleted on hte server. Could this be used to delete the local copy of the file ? What do you think of this ? Thanks Andrew ------------------------------------------------------------- NetCourrier, votre bureau virtuel sur Internet : Mail, Agenda, Clubs, Toolbar... Web/Wap : www.netcourrier.com Téléphone/Fax : 08 92 69 00 21 (0,34 TTC/min) Minitel: 3615 NETCOURRIER (0,16 TTC/min)
