Gentoo Logo
Gentoo Spaceship




Note: Due to technical difficulties, the Archives are currently not up to date. GMANE provides an alternative service for most mailing lists.
c.f. bug 424647
List Archive: gentoo-dev
Navigation:
Lists: gentoo-dev: < Prev By Thread Next > < Prev By Date Next >
Headers:
To: gentoo-dev@g.o
From: Ian Stakenvicius <axs@g.o>
Subject: Re: supporting /usr on separate partition
Date: Mon, 17 Oct 2011 12:02:49 -0400
Splitting this up since i'm kind of starting two threads here..

----- Documentation discussion -----
On 16/10/11 02:44 PM, Zac Medico wrote:
> 
> Well, you'll have to define the meaning of "support" in this context. I
> simply said that it shouldn't be encouraged, with me reason being that
> it tends to add unnecessary complexity (in violation of the KISS
> principle [1]).
> 

I would agree with this (that it shouldn't be encouraged), but I don't
think the Handbook is encouraging it now, as it is written..


>> As per the documentation itself, Code Listing 2.1 is i believe an
>> example of what is possible, not what we are encouraging users to do.
>> That doc seems pretty clear that the default is partitioning scheme is
>> the default /boot,/,swap ...
> 
> Why should our main installation docs mention a configuration that the
> vast majority of our users (all?) would be better off without?
> 

You'd have to talk to the original authors to confirm but I believe this
would be to illustrate the possibilities and give users info that will
let them think about their partitioning scheme, instead of telling them
what to do.  Essentially, to introduce and educate about partitions and
filesystems.

(it is the Gentoo Handbook, not the Gentoo Quick Install Howto, after all)


> What's the benefit of having /usr on a separate partition anyway? 

I think that's covered rather generically in the guide -- different fs
type, won't run out of space on / if /usr fills up, different mount
options (ie, mounting ROOT ro and /usr rw); and of course if /usr is on
separate physical media (ie, a nice big RAID, while / is on, say, a
small SSD).


----- Support/implementation discussion -----

> ... If people want that, I think it's perfectly
> reasonable to expect them to use either an initramfs or a simple linuxrc
> approach [2] to ensure that /usr is mounted before init starts. 

...this would make sense, although in terms of "support" i think it
would be appropriate that we would provide this linuxrc wrapper on any
init system that needs /usr mounted.



Replies:
Re: supporting /usr on separate partition
-- Zac Medico
References:
Suggestion for getting rid of udev
-- Walter Dnes
Re: Suggestion for getting rid of udev
-- Olivier CrĂȘte
Re: Suggestion for getting rid of udev
-- Michael Schreckenbauer
Re: Suggestion for getting rid of udev
-- Wulf C. Krueger
Re: Suggestion for getting rid of udev
-- Zac Medico
Re: supporting /usr on separate partition (was: Suggestion for getting rid of udev)
-- Ian Stakenvicius
Re: supporting /usr on separate partition
-- Zac Medico
Navigation:
Lists: gentoo-dev: < Prev By Thread Next > < Prev By Date Next >
Previous by thread:
Re: supporting /usr on separate partition
Next by thread:
Re: supporting /usr on separate partition
Previous by date:
Re: Autodep project
Next by date:
Re: supporting /usr on separate partition


Updated Jun 29, 2012

Summary: Archive of the gentoo-dev mailing list.

Donate to support our development efforts.

Copyright 2001-2013 Gentoo Foundation, Inc. Questions, Comments? Contact us.