本格的に夏. 本格的に休み. この時間を活かさないと. - ITmedia News：ユーザーの不満聞き入れ、Vista版IE 7の正式名称は「プラスなし」に http://www.itmedia.co.jp/news/articles/0608/05/news014.html - こんなことあったんだ. そういやFirefoxも名前は色…

たまーに必要になる. その内雛形のソースにでもメモっとくか. まず, enumerateの表示形式を変更する. % Level[1] を変更 \def\labelenumi {(\theenumi)} % Level[2] を変更 \def\theenumii {\arabic{enumii}} % 番号は, アルファベットではなく, 数字. \def\…

たぶんそんなに大変じゃないだろうっていう安易な考えで. まあ, apt-getをやってみる. $ sudo apt-get install gsfonts-x11 $ sudo apt-get install diagsfonts-x11はなんかdiaでの推奨パッケージに入ってたから何となく入れてみた. うん. そんなに深く使っ…

apt-getでとってきたパッケージで残ってるんだね. ネット巡回してて知ってビックリしたよ. まず, df -hで実行前の容量を見ておく. そして, これを実行するだけ. $ sudo apt-get cleandf -hで確認してみる. 自分の場合は予想以上に減った. 定期的にやるべきな…

カーネルがアップデートされるとOSの選択画面での選択肢が増えてうっとおしい. (つまり, 古いカーネルが削除されずに残っているため, それも選択肢に存在する. ) 古いのを選択するなんてことは無いんだから, 削除をしたい. まず, インストールされているカー…

HDDの容量と現在のその使用量を表示する. 実行は次のようにコマンドラインに入力. $ df $ df -h $ df -H -hや-HをつけるとMやGのようなサイズ文字がついてくれて分かりやすくなる. -hと-Hの違いは, 前者が2の累乗で後者が10の累乗を使っていること. -hの方が…