diff options
author | Ludovic Courtès <ludo@gnu.org> | 2018-01-09 17:19:53 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2018-01-09 23:39:02 +0100 |
commit | b0de7fdba678c1b0ec27b9c8e37c81fb5d49a124 (patch) | |
tree | 67448043eca13d75b7103dab6d1ce6acf83215fe /gnu/system | |
parent | fa58a0a62e28db8f351222ee238ebb929b2b3bdb (diff) | |
download | patches-b0de7fdba678c1b0ec27b9c8e37c81fb5d49a124.tar patches-b0de7fdba678c1b0ec27b9c8e37c81fb5d49a124.tar.gz |
system: Extend .gdbinit to authorize extensions from /gnu/store/*/lib.
* gnu/system/shadow.scm (default-skeletons)["gdbinit"]: Add 'auto-load
safe-path' statement.
Diffstat (limited to 'gnu/system')
-rw-r--r-- | gnu/system/shadow.scm | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/gnu/system/shadow.scm b/gnu/system/shadow.scm index b66239787e..2b8412cdd5 100644 --- a/gnu/system/shadow.scm +++ b/gnu/system/shadow.scm @@ -1,5 +1,5 @@ ;;; GNU Guix --- Functional package management for GNU -;;; Copyright © 2013, 2014, 2015, 2016, 2017 Ludovic Courtès <ludo@gnu.org> +;;; Copyright © 2013, 2014, 2015, 2016, 2017, 2018 Ludovic Courtès <ludo@gnu.org> ;;; Copyright © 2016 Alex Griffin <a@ajgrf.com> ;;; ;;; This file is part of GNU Guix. @@ -187,7 +187,11 @@ XTerm*utf8: always XTerm*metaSendsEscape: true\n")) (gdbinit (plain-file "gdbinit" "\ # Tell GDB where to look for separate debugging files. -set debug-file-directory ~/.guix-profile/lib/debug\n"))) +set debug-file-directory ~/.guix-profile/lib/debug + +# Authorize extensions found in the store, such as the +# pretty-printers of libstdc++. +set auto-load safe-path /gnu/store/*/lib\n"))) `((".bash_profile" ,profile) (".bashrc" ,bashrc) (".zlogin" ,zlogin) |