[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

distinguish shell generated exits

From: jidanni
Subject: distinguish shell generated exits
Date: Sat, 03 May 2008 01:14:32 +0800

There are several situations where
$ exit
$ logout
were typed by the shell and not the user, who must specifically say "I
did not type that, some magic hand did" when sharing shell transcripts
with other people.

So perhaps those messages should have a "bash:" prepended or something
to distinguish them.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]