.hugs_history ???

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 --