Re: Another system management tool to disappear.

[Paul Johnson <baloo@ursamundi.org>]

On Thu, Sep 3, 2015 at 3:57 AM, Andrew McGlashan <andrew.mcglashan@affinityvision.com.au> wrote:

On 1/09/2015 3:08 AM, pecondon@mesanetworks.net 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.

You don't even need to use a new login to do that in most cases.