From 99fc3e085d83f14f983172fa6936b11a535df57e Mon Sep 17 00:00:00 2001 From: Luca Bruno Date: Fri, 3 Oct 2008 20:41:16 +0200 Subject: * Better documentation on using both APT::Default-Release and /etc/apt/preferences (closes: #145575) --- doc/apt-get.8.xml | 6 ++++-- doc/apt_preferences.5.xml | 3 +++ 2 files changed, 7 insertions(+), 2 deletions(-) (limited to 'doc') diff --git a/doc/apt-get.8.xml b/doc/apt-get.8.xml index 329a46c51..2ea6ea1d4 100644 --- a/doc/apt-get.8.xml +++ b/doc/apt-get.8.xml @@ -371,8 +371,10 @@ This option controls the default input to the policy engine, it creates - a default pin at priority 990 using the specified release string. The - preferences file may further override this setting. In short, this option + a default pin at priority 990 using the specified release string. + This overrides the general settings in /etc/apt/preferences. + Specifically pinned packages are not affected by the value + of this option. In short, this option lets you have simple control over which distribution packages will be retrieved from. Some common examples might be or . diff --git a/doc/apt_preferences.5.xml b/doc/apt_preferences.5.xml index c55bb4ee2..162c2f00e 100644 --- a/doc/apt_preferences.5.xml +++ b/doc/apt_preferences.5.xml @@ -60,6 +60,9 @@ belongs. It is possible to single out a distribution, "the target release", which receives a higher priority than other distributions do by default. The target release can be set on the apt-get command line or in the APT configuration file /etc/apt/apt.conf. +Note that this has precedence over any general priority you set in the +/etc/apt/preferences file described later, but not +over specifically pinned packages. For example, -- cgit v1.2.3