Re: question

[Mircea Damian <dmircea@xxxxxxxxxxxxx>]

On Mon, Mar 09, 1998 at 09:30:33AM -0800, Bart Schaefer wrote:
> On Mar 9,  6:01pm, Mircea Damian wrote:
> } Subject: Re: question
> }
> } Another issue:
> }  There is a problem in zsh-3.0.5 which I can't reproduce it. Sometimes, not
> } very often, it happens to exit unexpectedly from my session.
> 
> Have you by any chance applied a patch for the HIST_REDUCE_BLANKS option?
> The most recently posted version of that patch -- which was quite a while
> ago, admittedly -- applies (IIRC) without rejections to zsh-3.0.x, but
> introduces a bug that causes the shell to exit as soon as the length of
> the history exactly equals HISTSIZE.  
> 
> However, I doubt that's the problem ... the only place in the code that
> I can find that would print the string "logout" on the same line as the
> prompt, like you showed here:
> 
> } dmircea@mail:/home/dmircea% logout
> 
> Is this bit of init.c:
> 
> 	if (!(isset(IGNOREEOF) && interact)) {
> #if 0
> 	    if (interact)
> 		fputs(islogin ? "logout\n" : "exit\n", stderr);
> #endif
> 	    zexit(lastval, 0);
> 	    continue;
> 	}
> 
> That would mean that (1) you've changed the `#if 0' to get that code to
> compile and (2) zsh is seeing end-of-file on the terminal.  You might want
> to try "setopt ignoreeof" and just to see what happens.
AFAIK the archive that I used was a clean one. I don't remember exactly
were I download it.

I'm sure that "setopt ignoreeof" will solve this problem but I do like to
exit from my session with ^D.

If it will happen again may be I'm gonna make some investigation(I'm very
busy... I'm student too).


-- 
Mircea Damian
Kappa Administrator
dmircea@xxxxxxxxx, dmircea@xxxxxx, dmircea@xxxxxxxx
MD65-RIPE, MD2225, MD1-6BONE
Phone: +40-1-7719245