Re: Default history-length should be higher

[Tom]

Drew Adams <drew.adams <at> oracle.com> writes:

> 
> > > Wouldn't 100 be a better default for history-length?
> > 
> > No objection from me,
> 
> FWIW, I use 1000.  Any reason this should be as short as 100?
> 

I use 1000 too in my personal setup and it works fine for me. 

I only said 100, because I was not sure the powers that be would
not find 1000 to radical, but I agree 1000 is an even better
default.