historyコマンド のログにデバイスファイル名を追記したい

Question

historyコマンドのログの中に"デバイスファイル名"を入れることは出来ないでしょうか？

複数ターミナルで操作すると、historyコマンドのログは端末ログアウトした時にログがファイルに書き込まれるので、ログの順序がごちゃごちゃになることはないのですが、どうせならどのデバイスが使用されたかをhistoryコマンドから知れれば嬉しいです。

例えば ttyコマンドで取得できる値などが書き込めれば、ログとしてもわかりやすいと思うのですが、、

ターミナル１
$ tty
/dev/pts/0 ←コレ

ターミナル2
$ tty
/dev/pts/1 ←コレ

現在、「HISTTIMEFORMAT」の環境変数を設定し、日時をログに吐き出すようにしています。
なにか良い解決策はないでしょうか？

Answer 1

文字通りには、bashを改造しないと無理かと思います。

代替案としては、メモリ上のヒストリ情報をhistoryファイルに書き込むのはbash終了時なので、「ここまでのコマンドはこのttyからのものだ」というのを書き込むのは可能です。
~/.bashrcに追記して、bash終了をトラップ。

# .bashrc
trap "source $HOME/.bash_exit" 0

~/.bash_exitを新規作成。

# .bash_exit
history -s TTY was `tty`

ヒストリーに、TTY was /dev/pts/1 のような行が出来ますので、そこから遡って1つ前のTTY was ～が出てくるまでがそのttyからのコマンドです。

Comments

[t-chida]

otnさん、ありがとうございます。
trapコマンドを仕込む方法、シンプルな良い考え方で参考になりました。

早速試させていただきます。