A friend of mine partitioned his ubuntu system with /usr on a separate partition. That partition is now full. He can't use apt to install new software. Is there anything in /usr that he can safely delete (i.e. delete with rm, not apt-get remove)?
Since he can't install new software he can't install something like dpigs (the tool for checking which packages is taking up space)