Fun with ignoreeof

[Stefan Stapelberg]

In article <178 at uport.UUCP> jmsully at uport.UUCP (John M. Sully) writes:
>In article <2248 at tekcrl.TEK.COM> eirik at crl.TEK.COM (Eirik Fuller) writes:
>|I have the following two lines in .cshrc:
>|alias exit 'echo "Use ^D to exit"'
>|alias logout 'echo "Use ^D to logout"'
>|How do I logout?
>
>stty 0 will log you out.


kill -9 0 is sure too
(stty 0 does not work on my machine)

Some systems allow /bin/login to be executed, but this works only
if the shell execs (!) the login program.  My sh do so, my csh not.