Thus said Lloyd Brown on Fri, 13 Jul 2012 14:05:29 MDT: > Ctrl-D (on a blank line) - closes a terminal
Only if ignoreeof is disabled (up to a limit of 10--13 tries depending on the shell): $ set -o ignoreeof $ Use "exit" to leave the shell. $ Use "exit" to leave the shell. $ Use "exit" to leave the shell. $ Use "exit" to leave the shell. $ Use "exit" to leave the shell. $ Use "exit" to leave the shell. $ Use "exit" to leave the shell. $ Use "exit" to leave the shell. $ Use "exit" to leave the shell. $ Use "exit" to leave the shell. $ exit Of course, now that I've told you this, I'll never have a chance to play a trick on you by putting that in your .profile. :-) But you can have fun with it by placing it in others'. Andy /* PLUG: http://plug.org, #utah on irc.freenode.net Unsubscribe: http://plug.org/mailman/options/plug Don't fear the penguin. */
