SomeBoyo, 8 months ago If the other answers don’t help, you could increase your root partition’s size, with gparted. (do a backup of your important data before doing it)
If the other answers don’t help, you could increase your root partition’s size, with gparted. (do a backup of your important data before doing it)