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:29] – 69.157.9.187 | howto:panel_plugin_debug [2009/01/14 12:53] – 88.172.125.130 | ||
---|---|---|---|
Line 51: | Line 51: | ||
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 / |
+ | ... | ||
+ | (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 | ||
+ | |||
+ | Again, the plugin must already be loaded for this to work. | ||
====== Some tips ====== | ====== Some tips ====== |