diff options
Diffstat (limited to 'debug')
-rw-r--r-- | debug/gdb/printers.py | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/debug/gdb/printers.py b/debug/gdb/printers.py index 8c991e956..6f24ca8e3 100644 --- a/debug/gdb/printers.py +++ b/debug/gdb/printers.py @@ -31,9 +31,15 @@ # To use it: # -# * create a directory and put the file as well as an empty __init__.py in that directory +# * Create a directory and put the file as well as an empty __init__.py in +# that directory. # * Create a ~/.gdbinit file, that contains the following: - +# python +# import sys +# sys.path.insert(0, '/path/to/eigen/printer/directory') +# from printers import register_eigen_printers +# register_eigen_printers (None) +# end import gdb import re |