Bug#544017: apt: [man] document use of /etc/apt/preferences.d/ directory

[Jari Aalto <jari.aalto@cante.net>]

Julian Andres Klode <jak@debian.org> writes:

> On Fri, Aug 28, 2009 at 01:57:31PM +0300, Jari Aalto wrote:
>
>> owner@bugs.debian.org (Debian Bug Tracking System) writes:
>> 
>> [repost for BTS]
>> 
>> David Kalnischkies <kalnischkies+debian@gmail.com> writes:
>> 
>> > Version: 0.7.22
>> >
>> > Hi Jari Aalto,
>> >
>> > first of all: thanks for your report!
>> >
>> >> Please add pinning configuration possiblity via separate files
>> >
>> > reading the debian/changelog for version 0.7.22 says:
>> > [...]
>> >   [ Julian Andres Klode ]
>> > [...]
>> >   * Support /etc/apt/preferences.d, by adding ReadPinDir() (Closes: #535512)
>> > [...]
>> >
>> > So, if your version information is correct you should already have such a
>> > directory and it should work as you requested it here. :)
>> 
>> That's good news.
>> 
>> Please update also the documentation, if I'm not mistaken to find it [1]:
>> 
>>     $ zgrep -i 'preferences\.d' /usr/share/man/man*/apt*.gz
>>     <nothing>
> It's listed in /usr/share/doc/apt/examples/configure-index.gz, which is
> referenced by apt.conf(5). 

Please add explicit directory name to apt.conf(5), otherwise nobody will
find that this directory can be used. Especially when people use search
commands on manual pages (not external files).

> Anyway, not all applications support it yet, e.g. those that call
> ReadPinFile() but not ReadPinDir().

If apt-get(1) supports it, it would be good if admin would notice that
there is no more need to write monolithic /etc/apt/preferences.

Thanks,
Jari