#!/bin/sh

# Ce script permet de mettre à jour le mirroir Debian du disque dur
# de Gulliver. Pour l'utiliser, le paquet Debian 'debmirror' doit être
# installé.

if [ ! -x /usr/bin/debmirror ] ; then
  echo "ERREUR : Veuillez installer le paquet Debian 'debmirror'" ;
  echo "# sudo apt-get install debmirror" ;

  exit 1;
fi

if [ ! -d debian/ ] ; then
  echo "ERREUR : Veuillez lancer ce script à la racine du disque de Gulliver" ;
  exit 1;
fi

debmirror --progress               \
          --cleanup                \
          --host=ftp.de.debian.org \
          --method=http            \
          --dist=sarge             \
          --section=main           \
          --arch=i386              \
          --no-source              \
	  --ignore-release-gpg     \
          debian/