Hi Petter, I wrote the email a bit too hastily. Sorry for causing this confusion.
It's /var and not /dev. Again, I was able to nicely reduce the size of /skole/jener/home0. However, extending the size of /var didn't work: sudo lvextend -L+5G /dev/vg_system/var Insufficient free space: 1280 extents needed, but only 138 available Kind regards, Roman > On 02/02/2023 9:21 PM GMT Petter Reinholdtsen <p...@hungry.com> wrote: > > > [Roman Meier] > > As mentioned in my email, I was able to reduce the size of > > /skole/jener/home0. I therefore logged in als root and unmounted > > /skole/jener/home0. > > OK, then I misunderstood. I read your email to say that you chould not > find a way to reduce the size. > > > For unknown reasons this space is however not made available to be > > reassigned to /dev resulting in the error message mentioned. > > Reducing home in LVM would just make ununsed space available to LVM, > visible using vgs. This unused space chan then be allocated to other > partitions using lvresize on this partition. > > You might want to check if you really need space on /dev/, it seem like > the wrong partition to extend. > -- > Happy hacking > Petter Reinholdtsen
