Would it make sense to eventually use linenoise instead of readline in Lua? http://github.com/antirez/linenoise (tks Steve Dekorte for the link) André
