Re: wildcards dans /etc/apt/preferences

[Julien Valroff <julien@kirya.net>]

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-xorg-input- sont à prendre dans stable avec une priorité
> élevée. J'ai essayé 
> 
> 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 ?

> Merci d'avance pour toute aide, ou nom de page de man utile (je ne retrouve
> plus celle qui décrit la syntaxe du fichier en question).

apt_preferences(5)

@++
Julien