> Leider nein, aber warum nicht `wget` verwenden? [...]
Das dauert einfach zu lange, da bei wget viel zu viel übertragen wird.
Oder gibt es eine Möglichkeit wget beizubringen nur neuere Dateien zu
laden. Und die alten(die nicht mehr auf dem Server sind) zu löschen.
Nur neuere Files (gemaess Timestamp) werden mit '--mirror' kopiert.
Eine Option um nicht mehr existierende Files lokal zu loeschen kann ich
allerdings tatsaechlich nicht finden.
frank