From 9d6fdbced75c0d3b8869aaa5bd090595d42a0cae Mon Sep 17 00:00:00 2001 From: Jitse Niesen Date: Mon, 30 May 2011 16:15:11 +0100 Subject: [PATCH] Fix truncated instructions for printers.py ... as noted by kp0987 on forum --- debug/gdb/printers.py | 10 ++++++++-- 1 file 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