diff options
| author | Michael Vogt <michael.vogt@ubuntu.com> | 2008-11-24 11:16:13 +0100 |
|---|---|---|
| committer | Michael Vogt <michael.vogt@ubuntu.com> | 2008-11-24 11:16:13 +0100 |
| commit | 73e0ee1e7f97571d7be3277e3c25c2f41b2bb946 (patch) | |
| tree | 788e6a2c6052c70b6d3c478e80bf2e013f3b0dc0 /doc/apt_preferences.5.xml | |
| parent | 07dd557b6fd80ce2df235f1697189b6a8f190ff4 (diff) | |
| parent | 8071aa806453a3e275576c196d6645051475c894 (diff) | |
merged from debian-sid
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> |