Resposta curta: echo 'set history save on' >> ~/.gdbinit && chmod 600 ~/.gdbinit
Resposta longa:
O histórico de comandos é abordado no manual do GDB, 22.3 Histórico de comandos . Crie um arquivo $HOME/.gdbinit
, altere suas permissões para 0600
e adicione o seguinte conteúdo:
set history save on
Você pode definir o número de comandos anteriores salvos com o seguinte. O comando é descrito como "Defina o número de comandos que o gdb mantém em sua lista de histórico. O padrão é o valor da variável de ambiente GDBHISTSIZE ou 256 se essa variável não estiver configurada. Os valores não numéricos de GDBHISTSIZE serão ignorados. Se size é ilimitado ou se GDBHISTSIZE for um número negativo ou uma sequência vazia, o número de comandos que o gdb mantém na lista de histórico é ilimitado " .
set history size <size>
Um comando relacionado é set history remove-duplicates <count>
. O comando é descrito como "Controlar a remoção de entradas duplicadas do histórico na lista do histórico de comandos. Se contagem for diferente de zero, o gdb analisará as últimas entradas do histórico de contagem e removerá a primeira entrada duplicada da entrada atual. adicionado à lista do histórico de comandos. Se a contagem for ilimitada, esse aspecto não será limitado. Se a contagem for 0, a remoção das entradas duplicadas do histórico será desativada " .
set history remove-duplicates <count>
Por padrão, o gdb salva o histórico no arquivo ./.gdb_history no diretório atual . Se você deseja que seu histórico de comandos não dependa do diretório em que está, inclua também:
set history filename ~/.gdb_history
.gdbinit
arquivo deve ser protegido contra gravação por outras pessoas além de você no Linux.