Tapes la commande 'apt-cache policy'
sans paramètres et tu auras à la fois les
réglages (pinning) actuels et la syntaxe
qui te permettra de modifier le fichier
/etc/apt/preferences (ce qu'il faut mettre
à la place du ZZZZZZZ ci-dessous:
Package: *
Pin: release ZZZZZZZ
Pin-Priority: 500
Guy
Le 09/02/2011 14:41, Erwan David a écrit :
On Wed, Feb 09, 2011 at 02:32:29PM CET, Thierry
Leurent<thierry.leur...@asgardian.be> said:
C'est pas compliqué, tu dois configurer les préférences dans
/etc/apt/preferences.
Tu y définis les différentes versions que tu veux utiliser et tu leur
attribue un pin-priority.
Voici un exemple
http://wiki.debian.org/AptPreferences
Je vais essayer, mais la dernière fois que j'avais tenté, ça n'avait pas
marché...
Il faut dire que j'ai énormément de mal à ne voir que des exemples et
à ne jamais trouver la vraie syntaxe, donc si quelqu'un a un lien
décrivant la syntaxe des préférences (en particulier tout ce qu'on
peut y mettre) ça m'intéresse.
--
Lisez la FAQ de la liste avant de poser une question :
http://wiki.debian.org/fr/FrenchLists
Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe"
vers debian-user-french-requ...@lists.debian.org
En cas de soucis, contactez EN ANGLAIS listmas...@lists.debian.org
Archive: http://lists.debian.org/4d52a023.7040...@teledetection.fr
