On Wed, Dec 27, 2000 at 06:43:41PM +0000, Patrick Welche wrote:
> > When I use ``tip ups'' I can interact with the ups, but I am unable to exit
> > tip using ~^D from the beginning of the line.  I am forced to kill -HUP
> > both tip processes and the shell, so getty will reset the terminal.
> > 
> > What's a surefire way of getting tip to exit?
> 
> I think it is "tilde dot" (if I type this now, my terminal we disappear..)

When I read the man page, I interpreted the dot as a period.  Thanks a lot
for the clue, it worked!

Ben