Fun with ignoreeof

[David Elliott]

In article <23236 at hi.unm.edu> kurt at hi.unm.edu (Kurt Zeilenga) writes:
>In article <2248 at tekcrl.TEK.COM> eirik at crl.TEK.COM (Eirik Fuller) writes:
>>This is not intended to do much beyond amuse, but ...
(question on how to logout without using ^D, exit, or logout)
>
>kill -9 $$

Actually, it's nicer to use "kill -1 0", which will log you out if you
are in sh, and will cause you to exit the current shell in csh (I may
be wrong on this with respect to subshells).

As for -9, let me ask this, Kurt:  When you want to stop your car,
do you run it into the nearest building?  When you need to cut your
fingernails, do you rip them out with pliers?

My point is that -9 is not neccessary.  It's reserved for those cases
when nothing else is working.  It's like hitting the kill character
(typically ^\) without trying interrupt (typically ^C) to stop a job.

Give the command a chance to clean up instead of just destroying it.
-- 
David Elliott		dce at mips.com  or  {ames,prls,pyramid,decwrl}!mips!dce