On Tue, Jan 23, 2024 at 06:42:43PM -0500, Greg Wooledge wrote: > On Wed, Jan 24, 2024 at 12:29:18AM +0100, Miroslav Skoric wrote: > > Total PE 76249 > > Alloc PE / Size 75146 / <293.54 GiB > > Free PE / Size 1103 / <4.31 GiB > > VG UUID fbCaw1-u3SN-2HCy-w6y8-v0nK-QsFE-FETNZM > > > > ... seems that I still have some 4 GB of unallocated space to add somewhere > > if/when needed. > > Yes. Everything looks fine. > > > In any case, what is left to do is to find the best way to take some space > > from /home which is largely underused. > > You'll have to unmount it, which generally means you will have to reboot > in single-user mode, or from rescue media, whichever is easier.
If you log in as root in a Linux console before the graphical thing gets started, you might get a stab at it, too. No reason for /home to be in use if no user has a session running (I can only vouch for a pretty minimal graphical system with no DE, but it might work for the newfangled things, too). Cheers -- t
signature.asc
Description: PGP signature