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 que
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
Pin: version
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 de man, qui
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. J'ai
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 le nom commence
par xserver
5 matches
Mail list logo
