Package: apt
Version: 2.5.2
Severity: normal
Tags: patch
APT Development Team,
apt_preferences(5) says:
> Never downgrade unless the priority of an available version exceeds
> 1000. ("Downgrading" is installing a less recent version of a package
> in place of a more recent version. Note that none of APT's default
> priorities exceeds 1000; such high priorities can only be set in the
> preferences file. Note also that downgrading a package can be risky.)
However, a priority of 1000 enables downgrading.
Both instances of "exceeds" should be changed to "equals or exceeds".
Patch below.
Thank you!
Daniel Lewart
Urbana, Illinois
---
diff -ru a/doc/apt_preferences.5.xml b/doc/apt_preferences.5.xml
--- a/doc/apt_preferences.5.xml 2022-07-24 10:57:24.000000000 -0500
+++ b/doc/apt_preferences.5.xml 2022-08-10 00:00:00.000000000 -0500
@@ -142,9 +142,9 @@
to determine which version of a package to install.
<itemizedlist>
<listitem><simpara>Never downgrade unless the priority of an available
-version exceeds 1000. ("Downgrading" is installing a less recent version
+version equals or exceeds 1000. ("Downgrading" is installing a less recent
version
of a package in place of a more recent version. Note that none of APT's
-default priorities exceeds 1000; such high priorities can only be set in
+default priorities equals or exceeds 1000; such high priorities can only be
set in
the preferences file. Note also that downgrading a package
can be risky.)</simpara></listitem>
<listitem><simpara>Install the highest priority version.</simpara></listitem>
###
