Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Next revisionBoth sides next revision | ||
howto:panel_plugin_debug [2009/01/14 12:53] – 88.172.125.130 | 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 | ||
Line 55: | Line 57: | ||
(gdb) continue | (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 / |
(gdb) attach $PID | (gdb) attach $PID |