☰

BASHPIDを履歴に追加しますか？

tag-icon • tag-icon bash command-history
BASHPIDを履歴に追加しますか？

与えられた時間に複数のセッションを実行することがよくあります。これは、歴史を使用して作品を再構築しようとすると、時には問題を引き起こす可能性があります。そのため、シェルごとにソートしてから、時間ごとにソートできるように$BASHPIDを何らかの方法で含めると便利です。これに対する私の素朴な試みは

export HISTTIMEFORMAT="$BASHPID %Y %m %d - %H:%M:%S| "

しかし、これがすることは、現在のシェルの$ BASHPIDを "history"出力に追加するだけです。

HISTTIMEFORMATと$ BASHPIDを検索しても結果は返されません。この動作を実装する方法に関する提案はありますか？

ベストアンサー1

「bash永遠の歴史」のようなものが必要です。
良い時間をお過ごしくださいここで説明動作させる。

このソリューションにはまだPIDがなく、次のように動作します。ここからのアイデア。

主に：

export HISTTIMEFORMAT="%s "
PROMPT_COMMAND="${PROMPT_COMMAND:+$PROMPT_COMMAND ; }"' \
               echo $$ $USER "$(history 1)" >> ~/.bash_eternal_history'

これは次のよう$PROMPT_COMMANDに生成されます。

$PID $USER $LAST_COMMAND

実行された各コマンドの出力。

おすすめ記事