|
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 packages. Wouldn't 100 be a better default for history-length?
[Prev in Thread] | Current Thread | [Next in Thread] |