Ludovic Courtès a1611ced6d system: gdbinit: Save command history by default. ...

By default, GDB does not save history.  This improves on the default.

* gnu/system/shadow.scm (%default-gdbinit): Add ‘set history’ commands.
(gdb-history-placeholder): New variable.
(default-skeletons): Add it.

Change-Id: Ie3f9c26098066b4bd896b0593546015a1b429209
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Merges: #6559

2026-02-27 23:54:00 +01:00

27 KiB

Raw Permalink Blame History

View Raw