Path: utzoo!utgpu!water!watmath!clyde!rutgers!cmcl2!brl-adm!umd5!uvaarpa!mcnc!ece-csc!uvacs!rwl
From: rwl@uvacs.CS.VIRGINIA.EDU (Ray Lubinsky)
Newsgroups: comp.unix.questions
Subject: Re: Fun with ignoreeof
Summary: Easy.
Message-ID: <2191@uvacs.CS.VIRGINIA.EDU>
Date: 25 Jan 88 19:38:38 GMT
References: <2248@tekcrl.TEK.COM>
Organization: U.Va. CS in Charlottesville VA
Lines: 14

In article <2248@tekcrl.TEK.COM>, eirik@tekcrl.TEK.COM (Eirik Fuller) writes:

> alias exit 'echo "Use ^D to exit"'
> alias logout 'echo "Use ^D to logout"'
> 
> They are there only as a joke, but they got me thinking.  Suppose I
> also say "set ignoreeof".  How do I logout?

Easy:  kill -HUP $$
-- 
| Ray Lubinsky         Department of Computer Science, University of Virginia |
|                      UUCP:      ...!uunet!virginia!uvacs!rwl                |
|                      CSNET:     rwl@cs.virginia.edu                         |
|                      BITNET:    rwl8y@virginia                              |