Re: dpkg bug when "overwriting" directories.
>> It shouldn't be that difficult to install *copyright* but not any other
>> files in that directory. If the aim is to have all the copyright files on
>> every system then some option to skip all the other doco would achieve this by
>> not making it worth-while to do "rm -rf /usr/doc/*" after package
>> installation.
>>
>> Also it would be good to be able to skip man pages, many machines just don't
>> need them.
>Whilst I understand what you're getting at, any such options should be
>emphatically non-default. One thing I really like about Debian is the fact
>that packages are in general well documented, with the documentation to hand.
>One thing worth thinknig about, IMHO, is a bit more support for shared file
>systems. A shared /usr/doc and /usr/man would presumably remove your main
>objection, disk space, whilst making sure that docs are always there...
One reason I'd like this is because I administer a large number of remote
sites which have Linux servers. I don't really need any man pages at most of
the remote sites because I've got them all on the machine I'm doing the admin
work from. Shared file systems isn't possible in this case because the
machines in question are at the wrong end of modem links.
---
This is the noise that keeps me awake
--
To UNSUBSCRIBE, email to debian-devel-request@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
Reply to: