.hugs_history ???

[Johannes Waldmann]

re: making hugs more convenient to use

I'd welcome if `hugs' would write the commands that the user typed
into a file (say, $HOME/.hugs_history)
that would be read in on the next startup 
(like `bash' does with .bash_history).
The effect is that these lines are then in the readline buffer,
and so can be reached when scrolling backwards, or searching.
This looks like a small change to make
(libreadline already provides the functionality).
I think there should be a config switch 
to enable the feature when compiling hugs, 
and a runtime flag to disable it if needed.

best regards,
-- 
-- Johannes Waldmann ---- http://www.informatik.uni-leipzig.de/~joe/ --
-- joe@informatik.uni-leipzig.de -- phone/fax (+49) 341 9732 204/207 --