gdbinit.in   [plain text]