Re: Ubiquity - setting a separate /home by default

2008-05-15 Thread David Prieto
Hi Colin,

 I presume that you did not instruct the installer to format the old
 /home partition? (If you did, then why?)

Actually yes, and I never realised how dumb it was until I read your
message. I just was used to formatting before installing, so I guess I
never gave it any thought.

So, what is supposed to happen if you do NOT check the format box? Is
everything but your /home destroyed, or is anything else kept? Probably
a dumb question, but I've never done it so I can't know.


-- 
Ubuntu-devel-discuss mailing list
Ubuntu-devel-discuss@lists.ubuntu.com
Modify settings or unsubscribe at: 
https://lists.ubuntu.com/mailman/listinfo/ubuntu-devel-discuss


Re: Ubiquity - setting a separate /home by default

2008-05-15 Thread David Prieto
Hi again,

 I should also point out (because I gave out misinformation on IRC in a
 moment of inattention) that this only works when you're using the manual
 partitioner and select a partition to mount as /, or equivalent. If you
 use the automatic partitioner and select use entire disk, then that's
 equivalent to wiping the whole drive and starting again.

I really would like to discuss this. I think this would make sense in
some cases, like having several distros coexisting in the same disk for
example. But what if there is just ONE partition, with Ubuntu on it? In
that case, why shouldn't /home be kept?

My original proposal was intended for total newbies, the kind of people
who would be afraid of the manual partitioner. I think your solution
should especially help that kind of people, and that keeping /home if
there is only one partition would be the right way to do so.

That aside, I opened a thread about the issue at ubuntuforums. The
members seem a bit uneasy about it, saying that it might bring problems.
I think it would be good if you guys came over and shed some light on
it.

http://ubuntuforums.org/showthread.php?t=793772 this is the link.

Thanks again :)


-- 
Ubuntu-devel-discuss mailing list
Ubuntu-devel-discuss@lists.ubuntu.com
Modify settings or unsubscribe at: 
https://lists.ubuntu.com/mailman/listinfo/ubuntu-devel-discuss


Re: Ubiquity - setting a separate /home by default

2008-05-14 Thread Colin Watson
On Wed, May 14, 2008 at 09:57:58AM +0200, David Prieto wrote:
 Hi Colin,
  I presume that you did not instruct the installer to format the old
  /home partition? (If you did, then why?)
 
 Actually yes, and I never realised how dumb it was until I read your
 message. I just was used to formatting before installing, so I guess I
 never gave it any thought.

Ah, OK. (I think this problem goes away once people stop being educated
to explicitly format partitions that they want to keep.)

 So, what is supposed to happen if you do NOT check the format box? Is
 everything but your /home destroyed, or is anything else kept? Probably
 a dumb question, but I've never done it so I can't know.

https://wiki.ubuntu.com/UbiquityPreserveHome lists the items that are
removed. Essentially, it's everything that's owned by the packaging
system and that would be likely to create bizarre conflicts if bits of
it were from an old installation and bits of it were from a new one.
/home, /srv, /root, /usr/local, /var/local, and in general any
unrecognised parts of the file system are retained.

Cheers,

-- 
Colin Watson   [EMAIL PROTECTED]

-- 
Ubuntu-devel-discuss mailing list
Ubuntu-devel-discuss@lists.ubuntu.com
Modify settings or unsubscribe at: 
https://lists.ubuntu.com/mailman/listinfo/ubuntu-devel-discuss


Re: Ubiquity - setting a separate /home by default

2008-05-14 Thread Colin Watson
On Wed, May 14, 2008 at 01:05:00PM +0100, Colin Watson wrote:
 On Wed, May 14, 2008 at 09:57:58AM +0200, David Prieto wrote:
  Hi Colin,
   I presume that you did not instruct the installer to format the old
   /home partition? (If you did, then why?)
  
  Actually yes, and I never realised how dumb it was until I read your
  message. I just was used to formatting before installing, so I guess I
  never gave it any thought.
 
 Ah, OK. (I think this problem goes away once people stop being educated
 to explicitly format partitions that they want to keep.)

I should also point out (because I gave out misinformation on IRC in a
moment of inattention) that this only works when you're using the manual
partitioner and select a partition to mount as /, or equivalent. If you
use the automatic partitioner and select use entire disk, then that's
equivalent to wiping the whole drive and starting again.

-- 
Colin Watson   [EMAIL PROTECTED]

-- 
Ubuntu-devel-discuss mailing list
Ubuntu-devel-discuss@lists.ubuntu.com
Modify settings or unsubscribe at: 
https://lists.ubuntu.com/mailman/listinfo/ubuntu-devel-discuss


Re: Ubiquity - setting a separate /home by default

2008-05-13 Thread Colin Watson
On Sun, May 11, 2008 at 10:51:59PM +0100, Sam Tygier wrote:
 David Prieto wrote:
  Some time ago, I posted this idea on Ubuntu Brainstorm, about the
  possibility to use a separate /home folder by default on systems where,
  depending on free disk space, it is considered advisable.
 
 The main reason for a separate home seems to be so that you can do a
 clean install without loosing your documents.
 
 Ubiquity can now install onto a partition that has an existing home
 directory without deleting it. It just removes the system directories.
 
 A separate home adds the hassle of filling up one partition, but have
 lots of space on another.

This is indeed exactly the reason we haven't offered a prominent option
of a separate /home; our partition management tools just aren't smooth
enough to cope when (not if) people make the wrong choice for relative
sizes.

In fact, we implemented this option in Ubiquity as a response to the
common wish of using a separate /home file system; it just wasn't
exactly the response that had originally been asked for! However, I
think it will cause many fewer problems than a separate /home would.

Cheers,

-- 
Colin Watson   [EMAIL PROTECTED]

-- 
Ubuntu-devel-discuss mailing list
Ubuntu-devel-discuss@lists.ubuntu.com
Modify settings or unsubscribe at: 
https://lists.ubuntu.com/mailman/listinfo/ubuntu-devel-discuss


Re: Ubiquity - setting a separate /home by default

2008-05-13 Thread David Prieto
Hi again,

  Ubiquity can now install onto a partition that has an existing home
  directory without deleting it. It just removes the system directories.


Do you have to do anything special for that to work? I usually keep
my /home in a separate partition, but I have another partition with some
spare gigs to try Intrepid. This morning I reinstalled Ubuntu in that
partition and it destroyed the previous /home folder.

 This is indeed exactly the reason we haven't offered a prominent option
 of a separate /home; our partition management tools just aren't smooth
 enough to cope when (not if) people make the wrong choice for relative
 sizes.

Actually, the user won't have to make a choice at all. Do you think a
good choice for an average user could be made automatically depending on
the disk's size and free space? Because that's what I'm proposing.

If you have lots of free space (enough to ensure that it'll be very difficult
to fill / up, and that /home will be big enough that these few missing gigs
will be negligible), the installer will recommend you to make a separate
partition. If space is tighter, it won't.


-- 
Ubuntu-devel-discuss mailing list
Ubuntu-devel-discuss@lists.ubuntu.com
Modify settings or unsubscribe at: 
https://lists.ubuntu.com/mailman/listinfo/ubuntu-devel-discuss


Re: Ubiquity - setting a separate /home by default

2008-05-13 Thread Colin Watson
On Tue, May 13, 2008 at 09:51:29PM +0200, David Prieto wrote:
 Hi again,
 
   Ubiquity can now install onto a partition that has an existing home
   directory without deleting it. It just removes the system directories.
 
 Do you have to do anything special for that to work? I usually keep
 my /home in a separate partition, but I have another partition with some
 spare gigs to try Intrepid. This morning I reinstalled Ubuntu in that
 partition and it destroyed the previous /home folder.

I presume that you did not instruct the installer to format the old
/home partition? (If you did, then why?)

If not, then that's a very serious bug. Please report it as soon as
possible with all relevant details, including /var/log/installer/syslog
and /var/log/installer/partman.

  This is indeed exactly the reason we haven't offered a prominent option
  of a separate /home; our partition management tools just aren't smooth
  enough to cope when (not if) people make the wrong choice for relative
  sizes.
 
 Actually, the user won't have to make a choice at all. Do you think a
 good choice for an average user could be made automatically depending on
 the disk's size and free space? Because that's what I'm proposing.

No; I don't think such a good choice exists in general, particularly
since when you get it wrong it's so horrifically painful to change. I
also don't actually believe in the mythical average user ...

 If you have lots of free space (enough to ensure that it'll be very difficult
 to fill / up, and that /home will be big enough that these few missing gigs
 will be negligible), the installer will recommend you to make a separate
 partition. If space is tighter, it won't.

Unfortunately, the installer has to deal with hard cases as well as easy
cases, and I don't think it's acceptable to just give up with the hard
cases. My bet is that many users won't think it's acceptable either, and
so this will just keep on coming up. I think it's far superior to make
the installer deal with /home in the way that people actually want (at
the high level of I want to reinstall Ubuntu without destroying my
data, rather than at the detailed level of which files should go on
which partitions?), and to do so without having to make fundamentally
painful decisions in the installer that are difficult to change later.

It's very easy to say that a few missing gigabytes will be negligible,
but if those are the few missing gigabytes that prevent Dad from editing
his holiday videos then he'll be justifiably annoyed, particularly if
this was an unnecessary waste of space. Multiple partitions can make
sense on complex installations with dedicated system administrator
capability, but on ordinary desktop installations they are needless
complexity that shouldn't be recommended by default. Unless you have
multiple disks (in which case some of the choices are made for you), the
only reason to bother with them is the (very real) use case of wanting
to preserve your data on installation; I think we should focus on that
use case rather than on the suggested *implementation* of multiple
partitions.

Cheers,

-- 
Colin Watson   [EMAIL PROTECTED]

-- 
Ubuntu-devel-discuss mailing list
Ubuntu-devel-discuss@lists.ubuntu.com
Modify settings or unsubscribe at: 
https://lists.ubuntu.com/mailman/listinfo/ubuntu-devel-discuss


Re: Ubiquity - setting a separate /home by default

2008-05-13 Thread Mackenzie Morgan
On Wed, 2008-05-14 at 00:33 +0100, Colin Watson wrote:
 On Tue, May 13, 2008 at 09:51:29PM +0200, David Prieto wrote:
  Hi again,
  
Ubiquity can now install onto a partition that has an existing home
directory without deleting it. It just removes the system directories.
  
  Do you have to do anything special for that to work? I usually keep
  my /home in a separate partition, but I have another partition with some
  spare gigs to try Intrepid. This morning I reinstalled Ubuntu in that
  partition and it destroyed the previous /home folder.
 
 I presume that you did not instruct the installer to format the old
 /home partition? (If you did, then why?)
 
 If not, then that's a very serious bug. Please report it as soon as
 possible with all relevant details, including /var/log/installer/syslog
 and /var/log/installer/partman.

The paragraph quoted says that the partition into which Intrepid was
installed had a /home *folder* not *partition*.  It was said in response
to someone saying that a separate partition is not needed because the
installer no longer destroys /home directories inside the / partition.
Obviously, the installer did delete the /home directory and not just the
system directory.

-- 
Mackenzie Morgan
http://ubuntulinuxtipstricks.blogspot.com
apt-get moo


signature.asc
Description: This is a digitally signed message part
-- 
Ubuntu-devel-discuss mailing list
Ubuntu-devel-discuss@lists.ubuntu.com
Modify settings or unsubscribe at: 
https://lists.ubuntu.com/mailman/listinfo/ubuntu-devel-discuss


Ubiquity - setting a separate /home by default

2008-05-11 Thread David Prieto
Some time ago, I posted this idea on Ubuntu Brainstorm, about the
possibility to use a separate /home folder by default on systems where,
depending on free disk space, it is considered advisable.

http://brainstorm.ubuntu.com/idea/5390/

It has grown very popular, to the point of ranking #10 in popularity
-there are over 8,000 ideas in the page-. I really do think it's a good
idea so I'm bringing it here for discussion.

Here are some mockups of how the Ubiquity dialogue should look. As you
see, it does not even add an additional step to the installer, nor does
it require any interaction or decision taking from the user, although it
still allows him to.

http://img155.imageshack.us/img155/7958/firstinstallaro2.png

http://img155.imageshack.us/img155/9034/secondinstalliq1.png

What do devs think of it? Would it be possible to see something like
this in Intrepid?

Regards,

David Prieto.

PS I'm not subscribed to the list, so if you reply to this message
please CC me. Thanks in advance.


-- 
Ubuntu-devel-discuss mailing list
Ubuntu-devel-discuss@lists.ubuntu.com
Modify settings or unsubscribe at: 
https://lists.ubuntu.com/mailman/listinfo/ubuntu-devel-discuss