Including non-full images for debian-cd, or else no .iso file is mirrored.

Signed-off-by: Lizhou Sha <slz@mit.edu>

diff --git a/fetch-scripts/debian-cd b/fetch-scripts/debian-cd
index 61c27bcd672476fe6cd1b91fbfb1884863700a67..478d8354c7f3fca547b8b7ccc1c02d3bc35b9387 100644 (file)
--- a/fetch-scripts/debian-cd
+++ b/fetch-scripts/debian-cd
@@ -8,5 +8,6 @@ BASEDIR=${MIRRORDIR}/debian-cd
 rsync -vaH --numeric-ids --delete --delete-after \
      --delay-updates \
      --times --links --hard-links --partial --block-size=8192 \
+    --include='*businesscard*.iso' --include='*netinst*.iso' \
     --exclude='*.iso' \
     ${RSYNCSOURCE} ${BASEDIR}