On 11/1/19 3:03 PM, home user wrote:
* I did not forget your suggestion of re-partitioning to shift space
from /home and using that for a new /var partition. Currently, I don't
think any media I have has space for /home. And doing the
re-partitioning would take more help from this list than this thread did.
It's pretty easy to do with gparted on a live boot, but you have lots of
room now.