You are not logged in.
You'll know whether something is mounted by checking the mount command (or as seen df -h for file system sizes) without any arguments but this has nothing to do with the resizing goal.
For the resizing on it's own use gparted from a live disk, you do not need to mount anything and gparted has a relatively intuitive interface to do all of these operations.
Last edited by V1del (2023-03-15 10:23:59)
Offline
you do must not need to mount anything
Online
A little arithmetic would tell you it is mounted as the content of your root directory takes up more space than exists on your root partition.
"UNIX is simple and coherent" - Dennis Ritchie; "GNU's Not Unix" - Richard Stallman
Offline
Okay, repartitioning through gparted is the way to go then.
root directory takes up more space than exists on your root partition
You mean / takes more space than /root, right?
Thank you all for helping out, I appreciate it.
Offline
No / (the directory) takes more space than root (the partition) should have available (because part of it is "offloaded" into /home which is on a different partition) but that's really splitting hairs right now, and going with gparted is probably the way to go here.
Last edited by V1del (2023-03-16 09:44:33)
Offline