I'd like to use wget in mirror mode, but I notice that it doesn't
delete files that have been deleted at the source site.  Ie.:

  First run: the source site contains "foo" and "bar", so the mirror now
  contains "foo" and "bar".

  Before second run: the source site deletes "bar" and replaces it with
  "ook", and the mirror is run again.

  After second run: the mirror now contains "foo", "bar", and "ook".

This is not usually the way that mirrors work; wget should delete
"bar" if it's not at the site.

- Morty

Reply via email to