On 1/09/2015 3:08 AM, firstname.lastname@example.org wrote:
> If you want to exit the shell normally, typically the 'exit' command
> will suffice (it depends on your shell, obviously).
And if, for some reason, you can't exit a shell normally; but you can
login again in a different session, then you can kill the errant session
from the new login.