每天用ubuntu时间一长，就会弹出磁盘空间不足（no space）的提示，输入：
df -k
可以发现原来是/tmp的use是100%，已经overflow，而ubuntu默认是将tmp单独挂载到1k的空间上，我想调整tmp的大小没什么必要，不如让其挂载的主分区上就有空间了。
sudo umount -l /tmp
就可以解决这个问题了。
另外，如果是主分区上没有空间，那么就要删点东西了，附上一个查收所有大于100M文件的shell指令：
find / -size +100M -exec ls -lh {} \;