The Hermit Hacker <scrappy@hub.org> writes:
> Actually, IMHO, the pro to moving to libedit is that we could include it
> as part of the distribution and make history a *standard* feature
How big is libedit? If it's tiny, that might be a good argument ...
but I don't want to see us bulking up our distro with something that
people could and should get directly from its source.
regards, tom lane
