François Boisson a écrit :
Je pense que tu dois pouvoir filtrer les paquets par l'origine dans le fichier /etc/apt/preferences ------------------- # le paque gnudoku Package: gnudoku Pin: release o=Boisson Pin-Priority: 990 # le reste# Package: *Pin: release a=stable o=Debian Pin-Priority: 990 ---------------------
OK, ça fonctionne, mis à part que j'ai été obligé de retirer "a=stable" qui lui posait problème pour attribuer la priorité 990 aux paquets officiels. J'ai donc ajouté :
# le reste # Package: * Pin: release o=Debian Pin-Priority: 990dans /etc/apt/preferences et maintenant ça fonctionne comme je le souhaite :
Quand je demande l'install d'un paquet, il m'installe automatiquement le paquet officiel. Si je veux une version provenant d'un dépôt non-officiel, je force la version et je peux exploiter une version plus récente.
Merci pour le coup de main. Seb