diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2026-02-19 10:41:31 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2026-02-27 23:54:00 +0100 |
| commit | a1611ced6de6e58ec77641281a49ed368d7d8cef (patch) | |
| tree | 36b942e2d7f0923c7136ed6f49cd0b984a2714d0 /tests | |
| parent | 1892626390bac09f8942519c20cae4ace1758275 (diff) | |
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
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions