3 echo "Add the following line in your /etc/gdb/gdbinit or ~/.gdbinit:"
4 echo " source /usr/share/gdb/gdb-boost-pretty/gdb-boost-pretty.gdb"
12 echo "Remove the following line from your /etc/gdb/gdbinit or ~/.gdbinit if you added it:"
13 echo " source /usr/share/gdb/gdb-boost-pretty/gdb-boost-pretty.gdb"