diff --git a/Python/etc/apt/sources.list b/Python/etc/apt/sources.list index 89a524a..3dac4a6 100644 --- a/Python/etc/apt/sources.list +++ b/Python/etc/apt/sources.list @@ -6,9 +6,10 @@ header() distro = metadata.categories["debian-version"] # Dépôt -if has("debian-mirror"): - repo = "file:/mirror" -else: +##if has("debian-mirror"): +## repo = "file:/mirror" +##else: +## repo = "ftp://mirror.adm.crans.org" repo = "ftp://debian.ens-cachan.fr" def source(args): @@ -44,7 +45,7 @@ else: source("%s/debian-multimedia %s main" % (repo, distro)) @# Paquets construits à la main - #source("%s/custom %s main contrib non-free" % (repo, distro)) + ##source("%s/custom %s main contrib non-free" % (repo, distro)) if has("rouge") or has("owl"): @# Backports pour dovecot et roundcube