Indeed. mksh seems to trigger on the 13rd EOF (not sure WHY 13):
-o ignoreeof
The shell will not (easily) exit when end-of-file is read;
exit must be used. To avoid infinite loops, the shell will
exit if EOF is read 13 times in a row.
-Dustin
On Thu, Feb 25, 2016 at 1:40 PM, David Laight <da...@l8s.co.uk> wrote:
> On Mon, Feb 22, 2016 at 09:14:17PM +0700, Robert Elz wrote:
>> ... If you have both the I and n options set,
>> there is no way (from inside the shell) to make it quit - if you send
>> it EOF, it tells you nicely to use "exit" to exit, but when you try
>> that, it ignored you (as it should.)
>
> At least one shell I've used exited on about the 10th consequetive EOF
> even when 'I' is set.
>
> Otherwise you are in trouble when a scripts sets 'I'.
>
> David
>
> --
> David Laight: da...@l8s.co.uk
