Debian Linuxでは、LXDEを使っている。最近は、LXDEにもゴミ箱があるのだが、これを空にするときに、うまくいかない時がある。USBメモリなどでは、ゴミ箱は.Trashというフォルダに入っているのだが、HDDではどこにあるのか分からなかった。調べたら、~/.local/share/Trash/filesという場所にあったので、その中身を消したらHDDの容量が2%ほど開放された。