Jawaban singkat: echo 'set history save on' >> ~/.gdbinit && chmod 600 ~/.gdbinit
Jawaban panjang:
Riwayat perintah dicakup dalam manual GDB, 22,3 Riwayat Perintah . Buat file $HOME/.gdbinit
, ubah izinnya 0600
, dan tambahkan konten berikut:
set history save on
Anda dapat mengatur jumlah perintah sebelumnya yang disimpan dengan yang berikut ini. Perintah ini digambarkan sebagai "Tetapkan jumlah perintah yang disimpan gdb dalam daftar riwayatnya. Ini default ke nilai variabel lingkungan GDBHISTSIZE, atau 256 jika variabel ini tidak disetel. Nilai-nilai non-numerik dari GDBHISTSIZE diabaikan. Jika ukuran tidak terbatas atau jika GDBHISTSIZE adalah angka negatif atau string kosong, maka jumlah perintah yang disimpan dalam daftar sejarah tidak terbatas " .
set history size <size>
Perintah terkait adalah set history remove-duplicates <count>
. Perintah ini digambarkan sebagai "Kontrol penghapusan entri riwayat duplikat dalam daftar riwayat perintah. Jika jumlah tidak nol, gdb akan melihat kembali pada entri riwayat jumlah terakhir dan menghapus entri pertama yang merupakan duplikat dari entri saat ini menjadi ditambahkan ke daftar riwayat perintah. Jika jumlah tidak terbatas maka tampilan ini tidak terikat. Jika jumlah adalah 0, maka penghapusan entri riwayat duplikat dinonaktifkan " .
set history remove-duplicates <count>
Secara default, gdb menyimpan histori ke dalam file ./.gdb_history di direktori saat ini . Jika Anda ingin riwayat perintah Anda tidak bergantung pada direktori tempat Anda berada, sertakan juga:
set history filename ~/.gdb_history
.gdbinit
File tersebut harus dilindungi oleh orang lain selain Anda di linux.