01/02: system: Extend .gdbinit to authorize extensions from /gnu/store/*/lib.

[Ludovic Courtès]

civodul pushed a commit to branch master
in repository guix.

commit b0de7fdba678c1b0ec27b9c8e37c81fb5d49a124
Author: Ludovic Courtès <address@hidden>
Date:   Tue Jan 9 17:19:53 2018 +0100

    system: Extend .gdbinit to authorize extensions from /gnu/store/*/lib.
    
    * gnu/system/shadow.scm (default-skeletons)["gdbinit"]: Add 'auto-load
    safe-path' statement.
---
 gnu/system/shadow.scm | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/gnu/system/shadow.scm b/gnu/system/shadow.scm
index b662397..2b8412c 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 <address@hidden>
+;;; Copyright © 2013, 2014, 2015, 2016, 2017, 2018 Ludovic Courtès 
<address@hidden>
 ;;; Copyright © 2016 Alex Griffin <address@hidden>
 ;;;
 ;;; 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)