summaryrefslogtreecommitdiff
path: root/apt-pkg/deb
diff options
context:
space:
mode:
authorJulian Andres Klode <julian.klode@canonical.com>2018-12-18 14:50:25 +0100
committerJulian Andres Klode <julian.klode@canonical.com>2019-02-01 17:51:35 +0100
commit8bb2a91a070170d7d8e71206d1c66a26809bdbc3 (patch)
tree049c96e291e2e2c11f09d984a7af91c60caa061a /apt-pkg/deb
parent4200469bb5a14c4659285917ed30c46a0b15c286 (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 'apt-pkg/deb')
0 files changed, 0 insertions, 0 deletions