source command for python scripts (was Re: Python pretty-printers and non-ASCII strings do not play well together :-()

Wed Nov 5 17:57:00 GMT 2008

El mar, 04-11-2008 a las 11:28 -0800, Paul Pluzhnikov escribiÃ³:
>   (gdb) python execfile('simple.py')

I was wondering if it would be useful to have a command in GDB to source
Python scripts, something like "source -p foo.py". But the command above
is short enough that we wouldn't need a separate command. What do you
think?
-- 
[]'s
Thiago Jung Bauermann
IBM Linux Technology Center