今日
D論のサブミット用の書類作成．
図関係の調査．
Ubuntu移行作業
GnomeのキーバインドをEmacs風にするためには，gconf-editorを起動して，
/desktop/gnome/interface/gtk_key_themeの値をEmacsに書き換える．
のだが，これはsudoで実行してはいけない．自分の環境を変えるのだから．
単純なミスだが，しばらく悩んだ．
なぜGUIのメニューにこれがないのかとも思うのだけれど(XFceにはある)，
環境の統一という意味では一般ユーザには見せないで，こういうキーバインドなんだよと押し付けた方がいいということなんだろうな，多分．
基本Windowsだし．
