コマンドを実行した時刻を知る。

bash環境で、historyコマンドを実行すると、コマンドの履歴が
でますが、環境変数HISTTIMEFORMATを指定すると、そのコマンドを
実行した時刻も表示されます。

例えば、

export HISTTIMEFORMAT='%H:%M:%S '

としてhistoryコマンドを実行すると、

  947  12:08:38 source ~/.bashrc
  948  12:08:41 history
  949  12:08:47 vi ~/.bashrc
  950  12:09:00 source ~/.bashrc
  951  12:09:02 history
  952  12:19:19 cat ~/.bashrc
  953  12:20:55 hisotry

な感じになります。ビルドなど大きな処理を繰り返さないようにするための
戒めになります。

MS IMEで「単語を登録できません」

MS IME(10.0.6000.0)で単語を登録しようとしたところ、
「単語を登録できません」と表示されました。

ググって見ると辞書が壊れているかもしれないとのこと、
「MS IMEのプロパティ」で「修正」ボタンを押すと
修正されるそうです。



修復を行うと、登録した単語データが消える可能性が
あるということですが、実際に修復ボタンを押すと、
元の辞書ファイルはバックアップされて、処理が行われました。
これで登録できるようになってます。

ブックマーク(del.icio.us)

作ってみました。Linkからたどれます。