ときどき、bash 履歴を外部ファイルにエクスポートします。export HISTTIMEFORMAT='%F %T '
コマンドを呼び出した後はファイルに表示されませんが、出力に時刻/日付が表示されるように追加したい場合があります。環境変数を .bash_profileに永続的に追加できることはわかっていますが、以下のコマンドを使用するときに一時的に使用したいだけです。私はこのように試しました:
# export HISTTIMEFORMAT='%F %T ' | grep -v "^#" $HISTFILE > ~/path/to/output
時刻/日付スタンプを表示する運がありません。