On Sun, 22 May 2022 15:02:06 -0700
Geoffrey Leach wrote:
Do I have it right?
Probably, but:
I usually boot a live image and run gparted so I can use the less confusing
GUI interface to get all the details right (may have to install gparted
in the live image first).
I'm not sure even single user will allow you to modify the root partition
in any way, the live image is safer.