Hi all,

This is probably a pretty stupid question but I haven't been able to find an answer by searching the web or the forum: How do I activate the gdb pretty printer? I'm using eigen-3.0.2 under Fedora 14 and my version of gdb is 7.2-51. Thanks a lot in advance.

Cheers,
Dominic

from the file itself:

# To use it:
#
# * 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

Thanks.
Dominic