From: Tom Furie on
On Tue, Jun 29, 2010 at 11:12:40PM +0200, Merciadri Luca wrote:
> Boyd Stephen Smith Jr. wrote:

> > Huh? There isn't a difference. Or, at least you are going to have
> > to be a bit more explicit about what you want told to not-new users.

> > The partition containing your file system mounted at '/' does not
> > contain the data stored in the file system mount at '/home'.
> > (Assuming you have a separate file system mounted at '/home'.)

> Sure, but that's not my point of view when I install the thing. This
> must be related to me. :)

I don't understand what you are trying to achieve here. When you are
installing the system, you have in mind how it is going to be used, and
what file systems you are setting up on which partitions. What do you
want the installer to tell you? How is the installer supposed to know
how you are planning to use your available disk space?

Cheers,
Tom

--
The History of every major Galactic Civilization tends to pass through
three distinct and recognizable phases, those of Survival, Inquiry, and
Sophistication, otherwise known as the How, Why, and Where phases. For
instance, the first phase is characterized by the question "How can we eat?"
the second by "Why do we eat?" and the third by "Where shall we have lunch?".
-- Hitchhiker's Guide to the Galaxy
From: Andrei Popescu on
On Ma, 29 iun 10, 17:15:38, Joey Hess wrote:
>
> The mental model that most non-beginners should have is that the system's
> root is / , which is where some system disk is mounted, and that additional
> disks are mounted to other mount points in the tree. The disk mounted at /
> is not a special case in not containing everything under / -- the disk
> mounted on /home does not necessarily contain everything under /home either.
> (I may have another (larger) disk mounted on /home/joey.)

I just had a vision of the mount point selection displayed as a tree,
where one can see and move the partitions between the mount points (mc's
tree view comes to mind). The tree should be easily expandable and
collapsible, to be able to access mount points for advanced setups (like
/var/spool). Forbidden mount points (/etc, /sbin, ...) should be hidden
though.

Let's see if I can draw something that makes sense:

/ - /dev/sda1 (9,2 GiB)
/boot
/home - /dev/sda2 (19 GiB)
|- big - /dev/sda4 (103 GB)
/tmp
/usr
/var - /dev/sda3 (9,2 GB)
|- spool
|- log

Would something like this make sense for the installer?

Regards,
Andrei
--
Offtopic discussions among Debian users and developers:
http://lists.alioth.debian.org/mailman/listinfo/d-community-offtopic
From: Camaleón on
On Tue, 29 Jun 2010 23:20:20 +0200, Merciadri Luca wrote:

> Camaleón wrote:

>> It depends. There are many situations and setups where having a
>> separate disk and/or partition is a very good choice (speed or
>> security/redundancy gains).
>>
> Sure, but I did not want to say that using different partitions is not a
> good idea (I always use different partitions). I simply wanted to speak
> about the `/' and its hierarchy problem that I mentioned before. :)

(...)

Ah, you were looking for an explanation on why it is so. I think this
will help :-)

***
Root directory
http://en.wikipedia.org/wiki/Root_directory
***

Look, as the article says, we have another "conceptual collision": root
being "/" and "/root" being "/root" :-P

Greetings,

--
Camaleón


--
To UNSUBSCRIBE, email to debian-user-REQUEST(a)lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster(a)lists.debian.org
Archive: http://lists.debian.org/pan.2010.06.30.08.37.54(a)gmail.com
From: Merciadri Luca on
Andrei Popescu wrote:
> On Ma, 29 iun 10, 17:15:38, Joey Hess wrote:
>
>> The mental model that most non-beginners should have is that the system's
>> root is / , which is where some system disk is mounted, and that additional
>> disks are mounted to other mount points in the tree. The disk mounted at /
>> is not a special case in not containing everything under / -- the disk
>> mounted on /home does not necessarily contain everything under /home either.
>> (I may have another (larger) disk mounted on /home/joey.)
>>
>
> I just had a vision of the mount point selection displayed as a tree,
> where one can see and move the partitions between the mount points (mc's
> tree view comes to mind). The tree should be easily expandable and
> collapsible, to be able to access mount points for advanced setups (like
> /var/spool). Forbidden mount points (/etc, /sbin, ...) should be hidden
> though.
>
> Let's see if I can draw something that makes sense:
>
> / - /dev/sda1 (9,2 GiB)
> /boot
> /home - /dev/sda2 (19 GiB)
> |- big - /dev/sda4 (103 GB)
> /tmp
> /usr
> /var - /dev/sda3 (9,2 GB)
> |- spool
> |- log
>
> Would something like this make sense for the installer?
>
I find this perfect, but it should be coupled with the impossibility of
putting on two partitions the same stuff, i.e. putting /var on two
partitions, for example.

--
Merciadri Luca
See http://www.student.montefiore.ulg.ac.be/~merciadri/
I use PGP. If there is an incompatibility problem with your mail
client, please contact me.


Vision is the art of seeing things invisible. (Jonathan Swift)

From: Merciadri Luca on
Camaleón wrote:
> On Tue, 29 Jun 2010 23:20:20 +0200, Merciadri Luca wrote:
>
>
>> Camaleón wrote:
>>
>
>
>>> It depends. There are many situations and setups where having a
>>> separate disk and/or partition is a very good choice (speed or
>>> security/redundancy gains).
>>>
>>>
>> Sure, but I did not want to say that using different partitions is not a
>> good idea (I always use different partitions). I simply wanted to speak
>> about the `/' and its hierarchy problem that I mentioned before. :)
>>
>
> (...)
>
> Ah, you were looking for an explanation on why it is so. I think this
> will help :-)
>
> ***
> Root directory
> http://en.wikipedia.org/wiki/Root_directory
> ***
>
Thanks.
> Look, as the article says, we have another "conceptual collision": root
> being "/" and "/root" being "/root" :-P
>
Yes. :)

--
Merciadri Luca
See http://www.student.montefiore.ulg.ac.be/~merciadri/
I use PGP. If there is an incompatibility problem with your mail
client, please contact me.