diff options
author | Luca Bruno <lethalman88@gmail.com> | 2008-10-11 10:31:18 +0200 |
---|---|---|
committer | Luca Bruno <lethalman88@gmail.com> | 2008-10-11 10:31:18 +0200 |
commit | fb3b7ef0a6c7b599d5d17f4cf7d98b182ec26e06 (patch) | |
tree | e3470037c374b483c2135920d39175a3db7410be /doc | |
parent | 8cd53bd4fe839c3135696ecbdca45909130a2dd9 (diff) |
Clarify whether configuration items of apt.conf are case-sensitive
Diffstat (limited to 'doc')
-rw-r--r-- | doc/apt.conf.5.xml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/apt.conf.5.xml b/doc/apt.conf.5.xml index 64724f211..db8dfa7ce 100644 --- a/doc/apt.conf.5.xml +++ b/doc/apt.conf.5.xml @@ -75,6 +75,9 @@ DPkg::Pre-Install-Pkgs {"/usr/sbin/dpkg-preconfigure --apt";}; <filename>&docdir;examples/apt.conf</filename> &configureindex; is a good guide for how it should look.</para> + <para>The names of the configuration items are not case-sensitive. So in the previous example + you could use <literal>dpkg::pre-install-pkgs</literal>.</para> + <para>Two specials are allowed, <literal>#include</literal> and <literal>#clear</literal> <literal>#include</literal> will include the given file, unless the filename ends in a slash, then the whole directory is included. |