diff options
author | Luca Bruno <lethalman88@gmail.com> | 2008-10-03 20:41:16 +0200 |
---|---|---|
committer | Luca Bruno <lethalman88@gmail.com> | 2008-10-03 20:41:16 +0200 |
commit | 99fc3e085d83f14f983172fa6936b11a535df57e (patch) | |
tree | a079a1365ff9b50a942462d60f6152d418a96731 /doc/apt_preferences.5.xml | |
parent | 3d0927aeb5e4575c55b2ce6007c3e8def287c2ff (diff) | |
download | apt-99fc3e085d83f14f983172fa6936b11a535df57e.tar.gz |
* Better documentation on using both APT::Default-Release and /etc/apt/preferences (closes: #145575)
Diffstat (limited to 'doc/apt_preferences.5.xml')
-rw-r--r-- | doc/apt_preferences.5.xml | 3 |
1 files changed, 3 insertions, 0 deletions
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 <command>apt-get</command> command line or in the APT configuration file <filename>/etc/apt/apt.conf</filename>. +Note that this has precedence over any general priority you set in the +<filename>/etc/apt/preferences</filename> file described later, but not +over specifically pinned packages. For example, <programlisting> |