diff options
| author | Julian Andres Klode <jak@debian.org> | 2015-08-15 15:33:40 +0200 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2015-08-15 15:33:40 +0200 |
| commit | 35ea8b154b105727cf0a0f0238d51b82a0d7c045 (patch) | |
| tree | d990d38921da5a32f50f0dc564bd4eec471e7458 | |
| parent | a0a6695515f8d8d7db3f52751d4d14f8266c286c (diff) | |
Document the general effect of the comma operator
Closes: #574939
| -rw-r--r-- | doc/apt_preferences.5.xml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/apt_preferences.5.xml b/doc/apt_preferences.5.xml index be6f12f6a..79132e007 100644 --- a/doc/apt_preferences.5.xml +++ b/doc/apt_preferences.5.xml @@ -254,6 +254,11 @@ Pin-Priority: 500 </programlisting> </listitem> </itemizedlist> + +The effect of the comma operator is similar to an "and" in logic: All +conditions must be satisfied for the pin to match. There is one exception: +For any type of condition (such as two "a" conditions), only the last such +condition is checked. </para> </refsect2> |