Si un PPA dans votre liste de sources a un paquet du même nom dans le centre logiciel Ubuntu, lequel apparaît dans le centre logiciel. De même, quel paquet est téléchargé via apt-get install ?
Réponses
Trop de publicités?
Volker Siegel
Points
12033
Priorité du paquet
Les priorités des sources de paquets sont définies dans la configuration locale des paquets.
Cette configuration peut être inspectée avec apt-cache policy .
Voici un exemple de ce que apt-cache policy spectacles pour le paquet git qui est disponible dans le dépôt de paquets principal d'Ubuntu, et dans un PPA, et la version du PPA est actuellement installée :
$ apt-cache policy git
git:
Installed: 1:2.1.0-1~ppa0~ubuntu14.04.1
Candidate: 1:2.1.0-1~ppa0~ubuntu14.04.1
Version table:
*** 1:2.1.0-1~ppa0~ubuntu14.04.1 0
500 http://ppa.launchpad.net/git-core/ppa/ubuntu/ trusty/main amd64 Packages
100 /var/lib/dpkg/status
1:1.9.1-1 0
500 http://de.archive.ubuntu.com/ubuntu/ trusty/main amd64 PackagesLes chiffres placés devant les URL indiquent la priorité. Le paquet provenant d'une source ayant la priorité la plus élevée est préféré, s'il n'y a qu'une seule source ayant cette priorité.
Paquet plus récent de même priorité
S'il existe plusieurs entrées de la plus haute priorité, comme c'est le cas ici, la version la plus récente est préférée.
Changer les priorités
Pour modifier les priorités afin de préférer une version spécifique, des règles d'exceptions peuvent être définies dans le fichier /etc/apt/preferences . Le verrouillage d'un paquet à une version fixe est appelé "pinning".
Voir ÉpinglerComment faire .
