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