> 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? I guess it would be better to line up with ksh/dash unless there's some compelling reason to keep the differing behaviour.