Debian, GNU/Linux et geekeries en tout genre
Debian Wheezy est sortie le 4 mai 2013, en bon debianeux fanatique, je ne pouvais que me dépêcher de mettre à jour 😀 Si mes machines de travail sous sid/experimental (oui, oui, même celle du boulot) n’en ont pas eu besoin, mon brave petit serveur OVH (non, ce n’est pas de la pub, je suis … Lire la suite
J’ai oublié de le mentionner dans l’article d’hier : plutôt que le créer le fichier /etc/apt/apt.conf.d/01proxy, vous pouvez modifier le fichier /etc/apt/sources.list comme ceci : deb http://IP_du_serveur_choisi:3142/ftp.fr.debian.org/debian/ stable main L’un ou l’autre, c’est vous qui voyez. (et on peut remplacer ftp.fr.debian.org par le miroir qu’on veut bien sûr)