Date: Sun, 25 Nov 2018 10:38:36 +0100
From: Edgar =?iso-8859-1?B?RnXf?= <e...@math.uni-bonn.de>
Message-ID: <20181125093836.ge12...@trav.math.uni-bonn.de>
| > All other shells seem to not exit
| As even dash seem not to exit: Did they change their behaviour on purpose
to
| match ksh/bash?
Even the FreeBSD shell doesn't exit. They changed it in March 2010.
I believe the "All" really means all (possibly excepting some ancient
shells that might still be observed, but are of no real relevance any more.)
kre
