On Thu, Jul 08, 1999 at 10:46:30AM -0500, Manoj Srivastava wrote:
>
> Richard> The best thing to do is probably to make sure that /usr/doc/ and
> Richard> /usr/share/doc end up on the same filesystem, but in separate
> Richard> directories.
>
> Umm, how do we do that? We have really no control over how the
> sys admin does partitioning ...
True, however the issue is someone saying that their system will have
problems with /usr/doc and /usr/share/doc on seperate filesystems. The
answer "put them on the same filesystem then" makes perfect sense. And
it's quite simply done---take the existing /usr/doc and mount it as
/usr/share/doc, make a subdir in it, and move everything into it. Then
just put a /usr/doc symlink into place.
This isn't something that can be done by us---it has to be done by the
sysadmin. Only they can know how they have to manage filesystems. No
more than Debian can be responsible for mounting most of /var into a
subdir under /usr because that's where there's room for it until such time
as I have more drive space.. *waves hi to bma*
All we can do is try not to break other things. Leave where I have to put
parts of /var to me and where he has to put /usr/doc to him.
--
Joseph Carter <knghtbrd@debian.org> Debian GNU/Linux developer
PGP: E8D68481E3A8BB77 8EE22996C9445FBE The Source Comes First!
-------------------------------------------------------------------------
<Overfiend> Thunder-: when you get { MessagesLikeThisFromYourHardDrive }
<Overfiend> Thunder-: it either means { TheDriverIsScrewy }
<Overfiend> or
<Overfiend> { YourDriveIsFlakingOut BackUpYourDataBeforeIt'sTooLate
PrayToGod }
Attachment:
pgpjSjr5sHgQi.pgp
Description: PGP signature