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 | |
| parent | 8cd53bd4fe839c3135696ecbdca45909130a2dd9 (diff) | |
Clarify whether configuration items of apt.conf are case-sensitive
| -rw-r--r-- | debian/changelog | 3 | ||||
| -rw-r--r-- | doc/apt.conf.5.xml | 3 |
2 files changed, 6 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index 72b743a48..e0fd3be8c 100644 --- a/debian/changelog +++ b/debian/changelog @@ -13,6 +13,9 @@ apt (0.7.17~exp1) UNRELEASED; urgency=low + cmdline/makefile + ftparchive/makefile + methods/makefile + * doc/apt.conf.5.xml: + - clarify whether configuration items of apt.conf are case-sensitive + (thanks to Vincent McIntyre, closes: #345901) -- Luca Bruno <lethalman88@gmail.com> Sat, 11 Oct 2008 09:17:46 +0200 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. |