diff options
Diffstat (limited to 'doc/linuxdev-processes.qdocinc')
| -rw-r--r-- | doc/linuxdev-processes.qdocinc | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/doc/linuxdev-processes.qdocinc b/doc/linuxdev-processes.qdocinc new file mode 100644 index 0000000000..387dbc308e --- /dev/null +++ b/doc/linuxdev-processes.qdocinc @@ -0,0 +1,13 @@ + \section2 Managing Device Processes + + You can view processes running on devices and kill them. Select + \gui {Tools > Options... > Linux Devices > Device Configurations > + Remote Processes...}. + + You can filter the processes by name in the \gui {List of Remote Processes} + dialog. + + To update the process list, select \gui {Update List}. + + To kill a process, select it in the list, and then select \gui {Kill + Selected Process}. |