Re: Настройка apt pinning

[Oleksandr Gavenko <gavenkoa@gmail.com>]

On 2016-01-20, Илья Валеев wrote:

> Package: foo bar
> Pin: origin "example.com"
> Pin-Priority: 990
>
> Package: *
> Pin: origin "example.com"
> Pin-Priority: -10
>
> Выполнил apt update
> apt-cache policy показывает, что у foo и bar из репозитория example.com
> приоритет -10. Если убрать строки, устанавливающие приоритет -10, то
> приоритет будет 500, а не 990, как я указал в конфиге. Имя пакета
> указано корректно, 100%.

Пишите баг на пакет apt.

Я просмотрел apt_preferences(5) на предмет:

 * порядок применения правил:

     If any specific-form records match an available package version then the
     first such record determines the priority of the package version.

     Failing that, if any general-form records match an available package
     version then the first such record determines the priority of the package
     version.

 * несколько пакетов в одном правиле:

     The specific form assigns a priority (a "Pin-Priority") to one or more
     specified packages with a specified version or version range.

     Multiple packages can be separated by spaces.

Все cходится с Вашим подозрением.

Кстати - между foo и bar - spaces (в письме - так)?

-- 
http://defun.work/