Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
howto:panel_plugin_debug [2009/01/14 07:31] – 69.157.9.187 | howto:panel_plugin_debug [2009/01/14 13:22] – typo + make a title 88.172.125.130 | ||
---|---|---|---|
Line 48: | Line 48: | ||
gdb -ex r -ex bt -ex q --args / | gdb -ex r -ex bt -ex q --args / | ||
> $HOME/ | > $HOME/ | ||
+ | |||
+ | ==== Using GDB on running instances ==== | ||
If you want an interactive debug session with GDB, you can simply find the process id of the plugin by running | If you want an interactive debug session with GDB, you can simply find the process id of the plugin by running | ||
- | | + | |
+ | ... | ||
+ | (gdb) continue | ||
- | which will find the PID of clipman, and debug it using the debug symbols in / | + | which will find the PID of clipman, and debug it using the debug symbols in / |
- | | + | |
Again, the plugin must already be loaded for this to work. | Again, the plugin must already be loaded for this to work. |