I still have two of the already suggested things to try, but meanwhile my /usr is 3.7G, and my /, of which it forms part, is 4.7G. This seems slightly disproportionate. How can I find out what is actually needed - or even, used - in /usr?
Lisi -- To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/201109222302.51064.lisi.re...@gmail.com