Пиннинг конкретного PPA с Launchpad
Я пытаюсь поднять приоритет пакетов с Ondrej PHP PPA с 500 до 1000 .
Я пытался это сделать:
Package: *
Pin: o=LP-PPA-ondrej-php,a=bionic,n=bionic,c=main,b=amd64
Pin-Priority: 1001
Но apt не понял директиву Pin
по умолчанию: Не понял тип pin o=LP-PPA-ondrej-php,a=bionic,n=bionic,c=main,b=amd64
Я нашел документацию, которая позволяет мне сделать это для происхождения доменов верхнего уровня, например, я успешно пинкировал узлы, используя:
Package: *
Pin: origin deb.nodesource.com
Pin-Priority: 1001
Но не конкретные PPA. Как мне пинговать определенный PPA?
2
задан muru
26 March 2021 в 16:52
поделиться
2 ответа
Используйте фрагмент ниже:
cat <<EOF | sudo tee /etc/apt/preferences.d/pin-ppa
Package: *
Pin: release o=LP-PPA-ondrej-php
Pin-Priority: 1337
EOF
2
ответ дан
23 April 2021 в 23:30
поделиться
Я понял это:
Package: *
Pin: release o=LP-PPA-ondrej-php
Pin-Priority: 1001
Ping: release o = , где имя ppa можно найти, запустив политику apt-cache policy и проверив вывод:
1001 http://ppa.launchpad.net/ondrej/php/ubuntu bionic/main amd64 Packages
release v=18.04,o=LP-PPA-ondrej-php,a=bionic,n=bionic,l=***** The main PPA for supported PHP versions with many PECL extensions *****,c=main,b=amd64
origin ppa.launchpad.net
2
ответ дан
23 April 2021 в 23:30
поделиться