Re: dpkg bug when "overwriting" directories.
On Thu, 11 Jun 1998, Russell Coker - mailing lists account wrote:
> Martin Mitchell <martin@debian.org> said:
>
> >Shaleh <shaleh@livenet.net> writes:
>
> >> Is there anyway there could be a variable set that says "do not install
> >> /usr/doc files"? This way those who do not want the docs can go on w/o
> >> them.
>
> >And /usr/doc/<pkg>/copyright? We still need that for every file, as part of
> >policy.
>
> 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...
Jules
--
To UNSUBSCRIBE, email to debian-devel-request@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
Reply to: