]> git.rmz.io Git - dotfiles.git/commitdiff
gdb: enable debuginfod (requires debuginfod pkg on Arch)
authorSamir Benmendil <me@rmz.io>
Mon, 19 Sep 2022 10:50:05 +0000 (11:50 +0100)
committerSamir Benmendil <me@rmz.io>
Mon, 19 Sep 2022 10:50:05 +0000 (11:50 +0100)
gdbinit

diff --git a/gdbinit b/gdbinit
index 47383500dcf63f549719f99272e0118b22394960..1e3baf1e16975724f1091ff1471d27a134497d4d 100644 (file)
--- a/gdbinit
+++ b/gdbinit
@@ -27,3 +27,5 @@ end
 set print pretty on
 set pagination off
 # set confirm off
+
+set debuginfod enabled on