Source a python script to gdb plugin?

[Tom Tromey]

>>>>> "Paul" == Paul Pluzhnikov <ppluzhnikov@google.com> writes:

>> (gdb) source ./load_libc
>> /home/cjia/workareas/gdb_nvwatch/scripts/load_libc:3: Error in sourced command file:
>> Undefined command: "from".  Try "help".

Paul> Don't you want to switch to python interpreter before doing 'source'
Paul> (or rather its python equivalent)?

Yes.  The "source" command remains unchanged -- it reads gdb command
scripts.

Tom