gdbにコマンド履歴を保存させるにはどうすればよいですか？

gdbコマンド履歴を保存するように設定するにはどうすればよいですか？新しいgdbセッションを開始するときに、上矢印キーを使用して前のセッションのコマンドにアクセスしたいと思います。

短い答え： echo 'set history save on' >> ~/.gdbinit && chmod 600 ~/.gdbinit

長い答え：

コマンド履歴については、GDBのマニュアル「22.3コマンド履歴」で説明しています。ファイルを作成し、$HOME/.gdbinitその権限をに変更して0600、次のコンテンツを追加します。

set history save on

保存した過去のコマンド数を以下で設定できます。コマンドは、「gdbが履歴リストに保持するコマンドの数を設定します。これは、環境変数GDBHISTSIZEの値、またはこの変数が設定されていない場合は256に設定されます。GDBHISTSIZEの非数値は無視されます。サイズが無制限であるか、GDBHISTSIZEが負の数または空の文字列の場合、履歴リストにgdbが保持するコマンドの数は無制限です。

set history size <size>

関連するコマンドはset history remove-duplicates <count>です。コマンドは、「コマンド履歴リスト内の重複した履歴エントリの削除を制御します。countがゼロ以外の場合、gdbは最後のcount履歴エントリを調べ、現在のエントリと重複する最初のエントリを削除しますコマンド履歴リストに追加されます。カウントが無制限の場合、この後読みは無制限になります。カウントが0の場合、重複した履歴エントリの削除は無効になります。

set history remove-duplicates <count>

デフォルトでは、gdbは履歴を現在のディレクトリの ./.gdb_historyファイルに保存します。コマンド履歴が現在のディレクトリに依存しないようにするには、次も含めます。

set history filename ~/.gdb_history

それでも問題が解決しない場合は、HISTSIZE環境変数が適切に高い数値であることを確認してください。鉱山が空だったため、gdbの「履歴サイズ」設定がデフォルトで0になりました。

追加されました

export HISTSIZE=100000000

私の〜/ .bashrcに、すべてがうねっています

（gdb内で） "show history"を実行すると、gdb履歴設定を確認できます。

gdb$ show history
expansion:  History expansion on command input is off.
filename:  The filename in which to record the command history is "/home/xiao/.gdb_history".
save:  Saving of the history record on exit is on.
size:  The size of the command history is 100000000.

ドキュメントから：

set history size size
set history size unlimited
GDBが履歴リストに保持するコマンドの数を設定します。これはデフォルトで環境変数HISTSIZEの値になり、この変数が設定されていない場合は256になります。サイズが無制限の場合、GDBが履歴リストに保持するコマンドの数は無制限です。