diff options
| author | Mark Benvenuto <mark.benvenuto@mongodb.com> | 2016-12-08 15:15:01 -0500 |
|---|---|---|
| committer | Mark Benvenuto <mark.benvenuto@mongodb.com> | 2016-12-08 15:15:01 -0500 |
| commit | aad88dd01b39f1c689280289e8fe00f87dcb1db3 (patch) | |
| tree | 6a664574e8c54f0038af561a2c067b0ad156ec22 /.gdbinit | |
| parent | 76dc485d830aaaad77c7d0302b62e4d3fb8d2ad8 (diff) | |
| download | mongo-aad88dd01b39f1c689280289e8fe00f87dcb1db3.tar.gz | |
SERVER-26634 GDB Pretty-Printers and Commands
Diffstat (limited to '.gdbinit')
| -rw-r--r-- | .gdbinit | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/.gdbinit b/.gdbinit new file mode 100644 index 00000000000..bda63f0b508 --- /dev/null +++ b/.gdbinit @@ -0,0 +1,7 @@ + +# Print the full stack trace on python exceptions to aid debugging +set python print-stack full + +# Load the mongodb pretty printers +# +source buildscripts/gdb/mongo.py |