On Thu, Nov 23, 2017 at 8:44 AM, Henrik Grubbström (Lysator) @ Pike (-) developers forum 10353@lyskom.lysator.liu.se wrote:

...

Branch: rosuav/hilfe-improvements

Two smallish improvements to Hilfe. One is suppressing "quit" and "exit", per the TODO at the top; fairly simple but I'd like someone else's eyeballing to make sure it's going about things the right way.

Do you handle the case where the user ends the session with EOF (ie usually ^D) correctly?

    /grubba

Yes; the readline history-pop function takes an optional string argument of the string to pop, and will do nothing if the last history element is not that exact string. So if you key an EOF, or if you terminate Hilfe in some other way, the history pop will silently do nothing.

ChrisA