[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Default history-length should be higher

From: Tom
Subject: Default history-length should be higher
Date: Fri, 24 Jan 2014 19:10:33 +0000 (UTC)
User-agent: Loom/3.14 (http://gmane.org/)

I checked the sources and apparently history-length default 
is still 30. It may have been a good default 20 years ago,
but in the 2010s it could be higher.

savehist and other packages can save the histories and it is very
useful to have access to a bunch of past history entries
which are easy to browse with the various history completion

Wouldn't 100 be a better default for history-length?

reply via email to

[Prev in Thread] Current Thread [Next in Thread]