ディスク空き容量が減ってきたのでググって、"apt-get clean"で
150MBほど空き容量増やすことができたよ。
ほかにも、不要なものを削る方法ありますか？