On 03/17/2013 07:23 PM, Mark Wieder wrote: > Richmond- > > And if you're going to go with the repartitioning option, PLEASE make > separate root and home partitions. > That is what I did; but, foolishly, I made my root partition 'only' 10 GB, thinking that was enough. . . . obviously not!