#!/bin/sh

# Ce script permet de mettre à jour le mirroir Ubuntu 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'" ;
  exit 1;
fi

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

debmirror --progress               \
          --cleanup                \
          --host=mir1.ovh.net/ubuntu/                     \
          --method=http                                  \
          --dist=breezy-updates,breezy-security,breezy     \
          --section=main,restricted,universe \
          --arch=i386              \
          --no-source              \
          --root=ubuntu            \
	  --ignore-release-gpg     \
          ubuntu/