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 [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
