wildcards dans /etc/apt/preferences
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
Mais ça ne semble pas marcher. Y a-t-il moyen de faire ça ou suis vraiment
obligé de me trainer un /etc/apt/preferences de 3km de long qui liste un
par un tous les packages pour lesquels je veux modifier la priorité ?
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).
Manuel.
Reply to: