I want to show *only* the local exec file as specified by the "file" command, and within a gdb script, currently the only way I see is to use info target. You can probobly use the `shell' command, and set that somehow.