Path: utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!tut.cis.ohio-state.edu!DASH.MITRE.ORG!barratt
From: barratt@DASH.MITRE.ORG (Jeff Barratt)
Newsgroups: gnu.bash.bug
Subject: More :${abc?abc} exits
Message-ID: <9001102123.AA02708@dash.mitre.org>
Date: 10 Jan 90 21:23:37 GMT
References: <1990Jan8.221741.3193@usenet.ins.cwru.edu>
Sender: daemon@tut.cis.ohio-state.edu
Reply-To: barratt@dash.mitre.org
Distribution: gnu
Organization: GNUs Not Usenet
Lines: 18

Thanks for the clarification, Chet.  In fact, the book I mentioned,
"UNIX Shell Programming" by Kochan and Wood, does mention that sh
won't exit a "login shell".  I don't have the system V documentation.
The problem was only noticed because I was trying to understand the
syntax of the parameter expansions interactively---I don't know
whether the sh behavior has any practical virtue, other than maybe the
general principle that interactive shells should only exit if asked
to.  So, I guess that I agree with fixing bash to emulate sh in this
case.

Jeff Barratt
----------------------
barratt@dash.mitre.org

I will not be pushed, filed,
stamped, indexed, briefed,
debriefed or numbered.
	- The Prisoner