# GDB settings file.
#
# For more information, visit
# https://man7.org/linux/man-pages/man5/gdbinit.5.html.

set debuginfod enabled on
set print pretty on

source ~/.config/gdbinit.py

