home-manager(gdbinit): enable unified history

This commit is contained in:
leo 2023-06-06 15:23:08 +02:00
parent 9cca2e6958
commit 3d7b7f0923
Signed by: wanderer
SSH Key Fingerprint: SHA256:Dp8+iwKHSlrMEHzE3bJnPng70I7LEsa3IJXRH/U+idQ

@ -218,6 +218,10 @@ in {
".gdbinit" = { ".gdbinit" = {
text = '' text = ''
set auto-load safe-path /nix/store set auto-load safe-path /nix/store
set history save on
set history size 10000
set history remove-duplicates 100
set history filename ~/.gdb_history
''; '';
}; };