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 13:36] – 88.172.125.130 | howto:panel_plugin_debug [2009/01/26 13:54] – 88.172.125.130 | ||
---|---|---|---|
Line 46: | Line 46: | ||
#!/bin/sh | #!/bin/sh | ||
- | gdb -ex r -ex bt -ex q --args / | + | gdb -ex r -ex bt -ex continue |
> $HOME/ | > $HOME/ | ||
Line 65: | Line 65: | ||
====== Some tips ====== | ====== Some tips ====== | ||
* By creating your own desktop entry file, it will never get overwritten by any installation, | * By creating your own desktop entry file, it will never get overwritten by any installation, | ||
- | * You can point the Exec= key to your development directory, for instance / | + | * You can point the Exec= key to your development directory, for instance / |