chiark / gitweb /
my-debmirror-riva: Get main/debian-installer too.
authorColin Watson <cjwatson@chiark.greenend.org.uk>
Sun, 11 Jul 2004 22:34:04 +0000 (22:34 +0000)
committerColin Watson <cjwatson@chiark.greenend.org.uk>
Sun, 11 Jul 2004 22:34:04 +0000 (22:34 +0000)
my-debmirror-riva

index e0ea329..5332a46 100755 (executable)
@@ -1,5 +1,6 @@
 #! /bin/sh -e
 debmirror /mirror/debian -h riva \
-         --nosource --section=main --getcontents --ignore=non-US/ "$@"
+         --nosource --section=main,main/debian-installer \
+         --getcontents --ignore=non-US/ "$@"
 debmirror /mirror/debian/non-US -h riva -r /debian/non-US \
          --nosource --section=main -d unstable/non-US --getcontents "$@"