Re: wildcards dans /etc/apt/preferences
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 5.8*
>
> Pourquoi penses-tu que cela ne fonctionne pas ? Quel est le contexte de
> ta manipulation ?
>
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
cette règle n'est pas prise en compte pour ce paquet...
> apt_preferences(5)
>
Merci !
Manuel.
Reply to: