Hi,
Am Dienstag, den 19.08.2014, 12:46 +0200 schrieb Sven Bartscher: > That's a bit more tricky than it seems, due to limitations in wget. > wget doesn't support the -N (only download if remote file if newer) > together with -O. So if I rename them wget won't be able to check their > timestamps. You can use curl instead of wget; in one instance I am using $ curl -R http://mirror.bm.debian.org/debian/dists/sid/main/source/Sources.gz \ -z unstable-main-Sources.gz \ -o unstable-main-Sources.gz Greetings, Joachim -- Joachim "nomeata" Breitner Debian Developer nome...@debian.org | ICQ# 74513189 | GPG-Keyid: F0FBF51F JID: nome...@joachim-breitner.de | http://people.debian.org/~nomeata
signature.asc
Description: This is a digitally signed message part