One of the reasons I’ve been preparing to move /home to a new partition is that disk space had become dangerously low. The crunch came yesterday when out of the blue Open Office and Firefox started behaving erratically. Having deleted a lot of trash, I thought I had about 300Mb to spare, but the odd [...]