diff options
| author | Julian Andres Klode <jak@debian.org> | 2015-08-12 20:44:40 +0200 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2015-08-12 20:51:08 +0200 |
| commit | 809aa216c630f1cc61b0c3b9d992d4a3be14be3c (patch) | |
| tree | 8e742b619907e2400897e3667fb7b1ae45af6b57 /doc/apt_preferences.5.xml | |
| parent | f3f06cae53d8ed5742f47de46d9f9808cfc5ec29 (diff) | |
policy: Be more strict about parsing pin files, and document prio 0
Treat invalid pin priorities and overflows as an error.
Closes: #429912
Diffstat (limited to 'doc/apt_preferences.5.xml')
| -rw-r--r-- | doc/apt_preferences.5.xml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/apt_preferences.5.xml b/doc/apt_preferences.5.xml index 16e6a7aa0..5703203b0 100644 --- a/doc/apt_preferences.5.xml +++ b/doc/apt_preferences.5.xml @@ -339,6 +339,10 @@ only if there is no installed version of the package</simpara></listitem> <term>P < 0</term> <listitem><simpara>prevents the version from being installed</simpara></listitem> </varlistentry> +<varlistentry> +<term>P = 0</term> +<listitem><simpara>has undefined behaviour, do not use it.</simpara></listitem> +</varlistentry> </variablelist> </para> |