diff options
author | Julian Andres Klode <julian.klode@canonical.com> | 2018-12-18 14:50:25 +0100 |
---|---|---|
committer | Julian Andres Klode <julian.klode@canonical.com> | 2019-02-01 17:51:35 +0100 |
commit | 8bb2a91a070170d7d8e71206d1c66a26809bdbc3 (patch) | |
tree | 049c96e291e2e2c11f09d984a7af91c60caa061a /doc/examples/apt.conf | |
parent | 4200469bb5a14c4659285917ed30c46a0b15c286 (diff) |
Introduce experimental 'never' pinning for sources
This allows disabling a repository by pinning it to 'never',
which is internally translated to a value of -32768 (or whatever
the minimum of short is).
This overrides any other pin for that repository. It can be used
to make sure certain sources are never used; for example, in
unattended-upgrades.
To prevent semantic changes to existing files, we substitute
min + 1 for every pin-priority: <min>. This is a temporary
solution, as we are waiting for an ABI break.
To add pins with that value, the special Pin-Priority
"never" may be used for now. It's unclear if that will
persist, or if the interface will change eventually.
Diffstat (limited to 'doc/examples/apt.conf')
0 files changed, 0 insertions, 0 deletions