Re: wildcards dans /etc/apt/preferences

2007-11-07 Par sujet mpg
Le (on) mercredi 07 novembre 2007 07:00, Julien Valroff a écrit (wrote) : >> Je pense que ça ne fonctionne pas tout simplement parce qu'avec une règle >> comme ci-dessus sur xserver-xorg-input*, si je fais un apt-cache policy >> xserver-xorg-input-via, par exemple, le résultat montre clairement qu

Re: wildcards dans /etc/apt/preferences

2007-11-06 Par sujet Julien Valroff
Le mardi 06 novembre 2007 à 22:52 +0100, mpg a écrit : > Le (on) dimanche 04 novembre 2007 16:30, Julien Valroff a écrit (wrote) : > >> Package: xserver-xorg-input-* > >> Pin: release o=Debian,a=stable,l=Debian > >> Pin-Priority: 999 > > > > Ça devrait pourtant fonctionner si je comprends la page

Re: wildcards dans /etc/apt/preferences

2007-11-06 Par sujet mpg
Le (on) dimanche 04 novembre 2007 16:30, Julien Valroff a écrit (wrote) : >> Package: xserver-xorg-input-* >> Pin: release o=Debian,a=stable,l=Debian >> Pin-Priority: 999 > > Ça devrait pourtant fonctionner si je comprends la page de man, qui > compte les exemples suivants : > Package: * > ou > Pi

Re: wildcards dans /etc/apt/preferences

2007-11-04 Par sujet Julien Valroff
Bonjour, Le dimanche 04 novembre 2007 à 15:19 +0100, mpg a écrit : > Bonjour, > > Tout est dans le titre : peut-on utiliser des wildcards > dans /etc/apt/preferences ? Si oui, lesquels et comment ? Par exemple, > j'aimerais faire un règle qui dit que tous les paquets dont l

wildcards dans /etc/apt/preferences

2007-11-04 Par sujet mpg
Bonjour, Tout est dans le titre : peut-on utiliser des wildcards dans /etc/apt/preferences ? Si oui, lesquels et comment ? Par exemple, j'aimerais faire un règle qui dit que tous les paquets dont le nom commence par xserver-xorg-input- sont à prendre dans stable avec une priorité élevée.