historyに実行時刻を表示する

トラブった時に後から、historyコマンドを睨みながら、色々推測していたのですが、時刻が無いと捗らない上に推測以上の事が出来なかったので。

やり方

• 以下の記事の通り
  • historyにコマンドの実行時刻が表示されるようにする

~/.bashrc

HISTTIMEFORMAT='%Y-%m-%dT%T%z '

スクリプト

せっかくなので、ついでにスクリプト化してみました。
どこかで・・・使う・・・のかな？（＝ｗ＝；

#!/usr/bin/env bash
if grep -sq HISTTIMEFORMAT ~/.bashrc; then
  echo "already use history time."
else
  echo "HISTTIMEFORMAT='%Y-%m-%dT%T%z '" >> ~/.bashrc
  source ~/.bashrc
fi

• shebangは環境依存にならないようにいつものパターン
• grep -sqは>/dev/null 2>&1みたいなもので、出力させない

あとは、chmodで755とかにでもしておいて実行。

サーバーとかに設定しておくと良いかもしれませんね〜。