244
edits
Screen: Difference between revisions
→Killing screen while detached
| Line 114: | Line 114: | ||
If you have more than one screen session and you want to kill one of them, type "screen -dr" to get a list of the available screens (from the terminal which appears when you first log in to RedBrick). Note the '''number''' (also known as a process id, or pid) at the beginning of each screen name. This is the process number. Ensure you know which screen session is which. | If you have more than one screen session and you want to kill one of them, type "screen -dr" to get a list of the available screens (from the terminal which appears when you first log in to RedBrick). Note the '''number''' (also known as a process id, or pid) at the beginning of each screen name. This is the process number. Ensure you know which screen session is which. | ||
To | To terminate a session, use this command (''pid'' is the number of the session you want to kill) | ||
kill ''pid'' | kill ''pid'' | ||
This will send the signal SIGTERM to the process, requesting its termination. | |||
If that fails and you want lil_cain to start complaining | |||
kill -9 ''pid'' | kill -9 ''pid'' | ||
This will send the signal SIGKILL to the process, terminating it immediately and with lots of blood. | |||
Then, to then get rid of the dead screen session, type | |||
screen -wipe | screen -wipe | ||