[bug#61486] system: Update skeleton gdbinit.
Commit Message
On Mon, Feb 27, 2023 at 11:34:39PM +0100, Ludovic Courtès wrote:
> Hi Efraim,
>
> Efraim Flashner <efraim@flashner.co.il> skribis:
>
> > * gnu/system/shadow.scm (default-skeleton): Update gdbinit to also
> > search for debug packages in guix-home.
> > (skeleton-directory): Move .gdbinit to .config/gdb/gdbinit.
>
> [...]
>
> > (use-modules (gdb))
> > (execute (string-append \"set debug-file-directory \"
> > (or (getenv \"GDB_DEBUG_FILE_DIRECTORY\")
> > - \"~/.guix-profile/lib/debug\")))
> > + \"~/.guix-profile/lib/debug\"
> > + \"~/.guix-home/profile/lib/debug\")))
>
> This won’t have the desired effect:
>
> --8<---------------cut here---------------start------------->8---
> scheme@(guile-user)> (or #f "a" "b")
> $10 = "a"
> --8<---------------cut here---------------end--------------->8---
>
> Perhaps we should check with ‘file-exists?’ which one to pick, probably
> giving higher precedence to ~/.guix-home/profile since Guix Home users
> might have both (I do).
>
> > + (when (file-exists? ".gdbinit")
> > + (mkdir-p ".config/gdb")
> > + (rename-file ".gdbinit" ".config/gdb/gdbinit"))
>
> I couldn’t believe it so I had to check the manual and yes, GDB does
> look for ~/.config/gdb/gdbinit! Incredible.
Now with a new and improved version 2!
Comments
Efraim Flashner <efraim@flashner.co.il> skribis:
> From 721637d9afd62e70f0a4350fb38c2569fe23e80b Mon Sep 17 00:00:00 2001
> Message-Id: <721637d9afd62e70f0a4350fb38c2569fe23e80b.1677652927.git.efraim@flashner.co.il>
> From: Efraim Flashner <efraim@flashner.co.il>
> Date: Mon, 13 Feb 2023 20:56:54 +0200
> Subject: [PATCH v2] system: Update skeleton gdbinit.
>
> * gnu/system/shadow.scm (default-skeleton): Update gdbinit to search for
> more debug packages in guix-home and the system profile.
> (skeleton-directory): Move .gdbinit to .config/gdb/gdbinit.
LGTM, thanks!
On Fri, Mar 03, 2023 at 11:46:41AM +0100, Ludovic Courtès wrote:
> Efraim Flashner <efraim@flashner.co.il> skribis:
>
> > From 721637d9afd62e70f0a4350fb38c2569fe23e80b Mon Sep 17 00:00:00 2001
> > Message-Id: <721637d9afd62e70f0a4350fb38c2569fe23e80b.1677652927.git.efraim@flashner.co.il>
> > From: Efraim Flashner <efraim@flashner.co.il>
> > Date: Mon, 13 Feb 2023 20:56:54 +0200
> > Subject: [PATCH v2] system: Update skeleton gdbinit.
> >
> > * gnu/system/shadow.scm (default-skeleton): Update gdbinit to search for
> > more debug packages in guix-home and the system profile.
> > (skeleton-directory): Move .gdbinit to .config/gdb/gdbinit.
>
> LGTM, thanks!
Thanks. Patch pushed!
@@ -2,7 +2,7 @@
;;; Copyright © 2013-2020, 2022 Ludovic Courtès <ludo@gnu.org>
;;; Copyright © 2016 Alex Griffin <a@ajgrf.com>
;;; Copyright © 2020 Jan (janneke) Nieuwenhuizen <janneke@gnu.org>
-;;; Copyright © 2020 Efraim Flashner <efraim@flashner.co.il>
+;;; Copyright © 2020, 2023 Efraim Flashner <efraim@flashner.co.il>
;;; Copyright © 2020 Maxim Cournoyer <maxim.cournoyer@gmail.com>
;;;
;;; This file is part of GNU Guix.
@@ -168,8 +168,16 @@ (define (default-skeletons)
guile
(use-modules (gdb))
(execute (string-append \"set debug-file-directory \"
- (or (getenv \"GDB_DEBUG_FILE_DIRECTORY\")
- \"~/.guix-profile/lib/debug\")))
+ (string-join
+ (filter file-exists?
+ (append
+ (if (getenv \"GDB_DEBUG_FILE_DIRECTORY\")
+ (list (getenv \"GDB_DEBUG_FILE_DIRECTORY\"))
+ '())
+ (list \"~/.guix-home/profile/lib/debug\"
+ \"~/.guix-profile/lib/debug\"
+ \"/run/current-system/profile/lib/debug\")))
+ \":\")))
end
# Authorize extensions found in the store, such as the
@@ -228,6 +236,9 @@ (define (skeleton-directory skeletons)
(when (file-exists? ".nanorc")
(mkdir-p ".config/nano")
(rename-file ".nanorc" ".config/nano/nanorc"))
+ (when (file-exists? ".gdbinit")
+ (mkdir-p ".config/gdb")
+ (rename-file ".gdbinit" ".config/gdb/gdbinit"))
#t))))
(define (find-duplicates list)