Wow, Henk, I feel like I’ve been scolded and set in the corner.
It is not labeled /user/local (a label of a file system is something different), but it is mounted at /user/local because the entry in /etc/fstab is wrong
O.K. I used the wrong word. The directory in this instance is /usr-local which contains much less than /usr.
It is not expanding it, it is just part of it. And as you have a root partition of only 10Gb, that is not enough.
Yes, it is not expanding it, its contents were expanding and kdf was giving me warnings that it was getting too full - and since the contents were expanding I wanted it out of / before it stopped me out.
I understand that you want /usr to have it’s own partition (all it’s contents is of course then in that partition, including /usr/local).
I only wanted / to have a reasonably stable content size and understand now that that earlier quoted advice was probably not good for a current OS.
All in /usr/local will then be in the partition of /usr, not in the root partition.
The partition that I had hoped would contain a large amount of data (/usr) was the one I had wanted to move out of / . The one that did get moved was /usr-local, which is relatively small. I was punting with what advice I found plus more limited earlier experience with other distributions, and gave the one I created outside / the wrong name (“label”), after which the OS used it and now only God knows what’s in it.
The directories form a tree, starting at /. You can put a branch in a separate file system, that will include all the branches springing off from that branch. Except when such a branch is given a separate file system of itself.
That’s good to know. I presumed (a guess?) that the installed OS would use the partitions for the purpose for which they are mounted. Silly me.
Yes, it can be done. But only from a life/rescue system (as I said earlier).
That may be a good idea when you have rethought your partitioning policy.
I do not know if you have any experience using a rescue system for such actions. In any case you need to make a plan (on paper) first. What should be copied to where to free a partition you need to copy other data on, etc., etc…
Yes - that was what I thought to do, with appropriate advice, but probably not a good idea even with advice.
For clarity, I’m not running a server, am really only an egg, and am relying on whatever information I can read - and sometimes get in too deep.
First thing to do though is making a list of the connections between the UUIDs used in fstab and the partitions sda1/2/3…
l /dev/disk/by-uuid | grep sda
This to avoid errors that could break all of it.
PEGASUS:~ # l /dev/disk/by-uuid | grep sda
lrwxrwxrwx 1 root root 10 Aug 24 01:29 0b8960c0-2132-4deb-87cd-908915c4816d -> ../../sda6
lrwxrwxrwx 1 root root 10 Aug 24 01:29 0bed15b4-7fff-4d5e-8d64-e7bc1b078a08 -> ../../sda2
lrwxrwxrwx 1 root root 10 Aug 24 01:29 35eaa8f6-e1ee-4c6c-9053-90a79e4ef013 -> ../../sda8
lrwxrwxrwx 1 root root 10 Aug 24 01:29 8d936a1b-fa71-4a7f-8346-c36d411e3148 -> ../../sda7
lrwxrwxrwx 1 root root 10 Aug 24 01:29 998e2740-8476-494c-a0fa-ccfc57d908ed -> ../../sda1
lrwxrwxrwx 1 root root 10 Aug 24 01:29 bd65ab86-f19a-4818-9e05-5a0c3ef685e1 -> ../../sda3
lrwxrwxrwx 1 root root 10 Aug 24 01:29 d2d87cda-c0ee-4ef4-a27e-bc56cc8fcf95 -> ../../sda5
lrwxrwxrwx 1 root root 10 Aug 24 01:29 f6996fff-1ab7-48bf-b9e4-472ce4ffd122 -> ../../sda9
PEGASUS:~ # cat /etc/fstab
UUID=998e2740-8476-494c-a0fa-ccfc57d908ed swap swap defaults 0 0
UUID=0bed15b4-7fff-4d5e-8d64-e7bc1b078a08 / ext4 acl,user_xattr 1 1
UUID=bd65ab86-f19a-4818-9e05-5a0c3ef685e1 /boot ext4 acl,user_xattr 1 2
UUID=f6996fff-1ab7-48bf-b9e4-472ce4ffd122 /home ext4 acl,user_xattr 1 2
UUID=d2d87cda-c0ee-4ef4-a27e-bc56cc8fcf95 /opt ext4 acl,user_xattr 1 2
UUID=0b8960c0-2132-4deb-87cd-908915c4816d /tmp ext4 acl,user_xattr 1 2
UUID=8d936a1b-fa71-4a7f-8346-c36d411e3148 /usr/local ext4 acl,user_xattr 1 2
UUID=35eaa8f6-e1ee-4c6c-9053-90a79e4ef013 /var ext4 acl,user_xattr 1 2
UUID=e35ec8aa-1add-4471-8155-b9b25d9ed3a2 /home/chuck/0_sdb ext4 defaults 1 2
UUID=1777ce93-19e0-4865-9afc-0134b61beb27 /home/chuck/1_sdc ext4 defaults 1 2
Heh, so THAT’s where that “/usr/local” came from - when I set it in the partitioner, it said /usr-local (I’m pretty sure about that).
I’m not real comfortable with manually editing fstab, and have been using the partitioner to write it.
I’m concluding this is more trouble than it’s worth; I’ll store contents of /home somewhere else, wipe the drive and start over.
Thanks, guys - I have not been arguing with you, just bouncing ideas in hopes of clarification.
Your thoughts on at least /tmp as a separate partition? It’s the one that had contents that kept expanding (software issue with a Firefox plug-in).
I have never understood exactly what can or can’t be deleted from /tmp since I thought the OS used it actively for temporary storage.
Cron jobs are also a future item for me…