CUIで$ rmをつかってしまうとゴミ箱に入らず完全に消去してしまうのでもとに戻せない．よって$ trashをよく使っている．でもこれでゴミ箱に入ったものはGUIで「ゴミ箱を空にする」をしても消えないものがある．そのときは$ sudo empty-trashをすると消える．…