Como imprimir lindamente contêineres STL no GDB?

Eu segui as instruçõesno wiki do GDB para instalar as impressoras bonitas python para visualizar contêineres STL. Minhas~/.gdbinit agora se parece com isso:

python 
import sys 
sys.path.insert(0, '/opt/gdb_prettyprint/python') 
from libstdcxx.v6.printers import register_libstdcxx_printers 
register_libstdcxx_printers (None) 
end 

No entanto, quando executo o GDB e tento imprimir um tipo de STL, recebo o seguinte:

print myString
Python Exception <class 'gdb.error'> No type named std::basic_string<char>::_Rep.: 
$3 = 

Alguém pode lançar alguma luz sobre isso? Estou executando o Ubuntu 12.04, que vem com o GDB 7.4.

questionAnswers(8)

yourAnswerToTheQuestion