Quieten warning about the lack of a debian-installer Release file. (The

redirections are a bit dodgy, but they'll do.)

diff --git a/my-debmirror b/my-debmirror
index bd2cc6f71decc1f7cec7a0b8a307099ba169598b..1e2e5ae7634a9399c0afc5fa6769b9b0999d7355 100755 (executable)
--- a/my-debmirror
+++ b/my-debmirror
@@ -2,6 +2,7 @@
 DEB_MIRROR=${DEB_MIRROR:-ftp.de.debian.org}
 debmirror /mirror/debian -h "$DEB_MIRROR" --passive \
          --nosource --section=main,main/debian-installer --getcontents \
 DEB_MIRROR=${DEB_MIRROR:-ftp.de.debian.org}
 debmirror /mirror/debian -h "$DEB_MIRROR" --passive \
          --nosource --section=main,main/debian-installer --getcontents \

-         --ignore=non-US/ "$@"
+         --ignore=non-US/ "$@" 2>&1 >/dev/null | \
+         grep -v 'debian-installer.*Release' 1>&2

 debmirror /mirror/debian/non-US -h "$DEB_MIRROR" -r /debian-non-US --passive \
          --nosource --section=main -d unstable/non-US --getcontents "$@"
 debmirror /mirror/debian/non-US -h "$DEB_MIRROR" -r /debian-non-US --passive \
          --nosource --section=main -d unstable/non-US --getcontents "$@"