Added a nice gdbinit