Vous n'êtes pas identifié(e).
L'icône rouge permet de télécharger chaque page du wiki visitée au format
PDF et la grise au format ODT →
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente | Prochaine révision Les deux révisions suivantes | ||
doc:systeme:apt:pinning [18/04/2017 21:56] Haricophile [Les exemples d'utilisation] httpredir est obsolète https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=817155 |
doc:systeme:apt:pinning [18/04/2017 21:57] Haricophile [Conseils et remarques] httpredir est obsolète https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=817155 |
||
---|---|---|---|
Ligne 206: | Ligne 206: | ||
=== Nommer les branches par leur nom **commun** ou leur nom **release** === | === Nommer les branches par leur nom **commun** ou leur nom **release** === | ||
- | <code apt_sources>deb http://httpredir.debian.org/debian/ jessie main contrib non-free</code> | + | <code apt_sources>deb http://deb.debian.org/debian/ jessie main contrib non-free</code> |
''apt-cache policy'' donne une option (//n=jessie//) | ''apt-cache policy'' donne une option (//n=jessie//) | ||
- | <code>900 http://httpredir.debian.org/debian/ jessie/main Packages | + | <code>900 http://deb.debian.org/debian/ jessie/main Packages |
release v=6.0.2.1,o=Debian,a=stable,n=jessie,l=Debian,c=main | release v=6.0.2.1,o=Debian,a=stable,n=jessie,l=Debian,c=main | ||
- | origin httpredir.debian.org</code> | + | origin deb.debian.org</code> |
donc on peut rajouter dans le fichier **preferences** ce style d'interprétation : | donc on peut rajouter dans le fichier **preferences** ce style d'interprétation : |