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

source ~/.config/gdbinit.py
set print pretty on
