OILS / devtools / oil.gdb View on Github | oilshell.org

21 lines, 18 significant
1# GDB configuration or Oil
2#
3# Usage:
4# $ gdb
5# (gdb) source devtools/oil.gdb
6#
7# Or 'source' it from ~/.gdbinit
8
9# for multiline structs
10set print pretty on
11# TODO: save history
12
13# Our Python commands
14source devtools/oil_gdb.py
15
16define cls
17 shell clear
18end
19document cls
20Clear screen.
21end