gold_finger:I'm pretty sure the device names won't change on re-installation as long as you don't delete, then recreate the partitions.
Thanks, that's correct, I have confused formatting with deleting/recreating. I've just tested this using Gparted Live CD and it works as follows:
a) formatting a partition - device number remains the same, UUID will change
b) resizing a partition - both device number and UUID remain the same
c) deleting and re-creating a partition in the same location on the hard disk - both device number and UUID will change
There is one more scenario that I'm not sure about:
d) restoring a partition from Clonezilla disk image - ?
I have created a thread on Ubuntu forums, so let's see what their experts have to say:
http://ubuntuforums.org/showthread.php?t=2237147I've never done what you propose before, but would imagine rm -rf /media/username/my_LL_folder/* would be the one to use.
Yes, that command seems to be working as expected. I ran it on both root and home partitions and then they were both showing "zero" bytes. But, of course, formatting seems to be a better choice in this case. I have decided to reinstall both root and home partitions, just in case.
Holy Moly! 22 partitions! I thought I was bad with 11 on one of my drives.
Well, actually, I have a bit more than 22:
http://i.imgur.com/qhDuoZY.png