Hi,
was it ever considered to integrate the
http://www.tmtm.org/ja/etc/wget-1.6-delete-local.patch
by <tommy at tmtm.org> into wget? It provides a new option
'--delete-local' to remove local files that do not exist on the server
while doing a ftp mirror.
As a starting-point, I've forward-ported it to wget-1.7, available at
ftp://ag.or.at/pub/people/mike/wget-1.7-delete-local.patch
Greetings, Mike
--
Don't feed. DI Michael Wildpaner
Don't provoke. Ph.D. Student
Don't enter the cage.
