gnome-terminalsの履歴をgrepする方法はありますか？
端末の出力（つまり、コマンドではない）の履歴がどこかに隠れているので、次のようなことができます。
grep "foo foo \d{5}" ~/.terminal
端末に置くのではなく、単にgrepにパイプするか、ファイルに保存できることを知っています。それは時々私が検索したいいくつかのものをプログラム出力に持っていたが、それは単にgrepの利益のためにそれを再実行したくないというだけのことです。 :)
出力はどのファイルにも保存されません。ただし、scriptコマンドを使用してターミナルセッションを記録できます。とにかく走れ
script
次に、通常どおりコマンドを実行します。 exitと入力すると、スクリプトプログラムが終了します。すべての入力と出力は、現在のディレクトリのTypeScriptという名前のファイルにあります。 less -R TypeScriptを使用して、それを読んだり検索したりできます。
いつものように、新しいコマンドを使用する前にマニュアルを読むことをお勧めします。 man script