Pour les heureux utilisateurs de GNU/Linux, le ResEl dispose de miroirs pour les distributions Debian et Ubuntu. Vous pourrez alors installer ou mettre à jour des paquets beaucoup plus rapidement et cela sans utiliser la faible bande passante du ResEl vers Internet.

Logiciels libres

Si vous cherchez un logiciel libre, vous pouvez consulter la page de présentation des logiciels libres.

Si vous voulez télécharger une distribution ou un logiciel, vous pouvez aller directement sur le miroir.

Debian

Pour Debian il faut modifier votre fichier /etc/apt/sources.list avec votre éditeur de texte favori, emacs pour les puristes, gedit avec Gnome ou kedit avec KDE.

Dans un terminal, rentrez la commande suivante : sudo vim /etc/apt/sources.list

Vous obtiendrez quelque chose proche de :

deb ftp://ftp2.fr.debian.org/debian stable main non-free contrib
deb-src ftp://ftp2.fr.debian.org/debian stable main non-free contrib

Fonctionnement des dépots Debian

Les versions de Debian disponibles sur le ResEl sont :

• oldstable (etch) : Ancienne version stable où les seules mises à jour sont des correctifs de sécurité. Sera bientôt abandonnée.
• stable (lenny) : version stable où les seules mises à jour sont des correctifs de sécurité.
• testing (squeeze) : future version stable, en préparation.
• unstable (sid) : version de développement constamment mise à jour.
• experimental : pour disposer des paquets expérimentaux, pas encore en sid

Tous ces dépots sont coupés en trois catégories distinctes

• main : section principale.
• non-free : logiciels qui possèdent une license restrictive quant à leur utilisation.
• contrib : logiciels libres mais qui dépendent de paquets de la section non-free.

De plus on distingue deux sortes de dépots, les deb qui contiennent les logiciels à proprement parler et les deb-src qui contiennent les sources des logiciels.

Changement des Dépots

Voici un exemple, que vous pourrez adapter à vos besoins en fonction du paragraphe précedent. À noter que pour Debian les distributions peuvent être appelées soit par leur nom (etch, lenny, sid) soit par leur état (stable, testing, unstable).

deb ftp://debian.maisel.enst-bretagne.fr/debian sid main non-free contrib
deb-src ftp://debian.maisel.enst-bretagne.fr/debian sid main non-free contrib

Le ResEl dispose aussi du miroir pour le dépot debian-multimedia (ex marillat) pour Debian. Il contient tous les paquets debian pour le multimedia. Attention celui-ci n'est valable qu'avec les appelations stable, testing et unstable et il ne contient que la catégorie main.

deb ftp://miroir.maisel.enst-bretagne.fr/debian-multimedia unstable main

Ubuntu

Pour Ubtunu, le ResEl propose un proxy qui vous permettra de télécharger plus rapidement les paquets populaires et de ne pas pas user vos quotas lorsque vous mettez à jour votre système ou lorsque vous installez de nouveaux paquets.

Deux choix s'offrent à vous : la méthode graphique avec synaptic et la méthode "puriste" en terminal avec apt

Synaptic

Pour demander à Synaptic d'utiliser le proxy, ouvrez la fenêtre Configuration > Préférences

Puis dans l'onglet "Réseau" entrez l'adresse suivante dans les champs "Mandataire HTTP" et "Mandataire FTP":

ubuntu.maisel.enst-bretagne.fr Port:3128

Cliquez sur Valider, puis dans la fenêtre Configuration > Dépôts vérifiez que vous avez bien l'option Serveur national séléctionné.

Lorsque vous partez du campus, retournez dans la fenêtre Configuration > Préfrénces et dans l'onglet "Réseau" cochez Connexion directe à internet

Apt

Pour configurer le proxy dans apt-get, il vous suffit de créer un fichier dans le dossier de configuration qui dira à apt-get de passer par le proxy :

sudo gedit(/emacs/vim/nano) /etc/apt/apt.conf.d/proxy

Dans ce fichier, entrez la ligne suivante:

Acquire::http::Proxy "http://ubuntu.maisel.enst-bretagne.fr:3128";

Ensuite, vérifiez que vous utilisez bien le mirroir fr.archive.ubuntu.com dans votre fichier /etc/sources.list.

Et voilà! désormais, tous vos téléchargements de paquets passeront par le proxy du ResEl. Et si vous partez du campus, n'oubliez pas de commenter cette la ligne dans /etc/apt/apt.conf.d/proxy en ajoutant un #au début de la ligne.

Remarque : cette manoeuvre affecte à la fois Apt et synaptic

Archlinux

pour demander à pacman d'utiliser le proxy, il suffit de donner la valeur suivante à la variable http_proxy dans l'environnement de l'utilisateurde celui qui lance pacman (root est un bon candidat):

export http_proxy='http://irulan.maisel.enst-bretagne.fr:3128'

Ensuite pensez à utiliser le bon mirroir, ajoutez le en tête de votre /etc/pacman.d/mirrorlist:

Server = http://mir.archlinux.fr/$repo/os/(votre architecture)

Lorsque vous quittez le campus, pensez à vider la valeur de la variable http_proxy

Page créée par Guillaume Partenet, promo 2007 en juin 2005

Mise à jour par Nicolas Aupetit, promo 2006 en octobre 2005, puis mars et mai 2007.

Mise à jour par Frédéric Perrin, promo 2010, en mai 2008.

Mise à jour par Sébastien Martinez, promo 2011, en avril 2011.