linuxでmakeしたファイルをゴミ箱から消せずに困ってた^^; 今日、思い立って消そうとしてゴミ箱の場所を探して見つけたのでメモしておこう。 cd /home/$USERNAME/.local/share/Trash/files でゴミ箱内に移動完了。 後はrmコマンドで削除するだけ。 中身の入…

久しぶりにgoogle analystic(綴りの正否は不明)のぞいてみたら。 （このブログのアクセスを見ている。極、趣味的に） 前は、macbookとかubuntuとかが検索ワードだったのが、 tex pngになってた。 いがいとみんなハマってんだなーと痛感。 ちなみに、tex png…