3 Feb
2003
3 Feb
'03
12:56 p.m.
Unfortunately, readline history and line-editing commands do not work at the /usr/local/bin/hi prompt. One would think they would because before I had readline-dev installed Helium refused to build. Oh well!
This can hopefully be fixed by applying the simple patch that I have attached. Directly after unpacking the .tar.gz archive, say patch -p0 < helium-1.0-readline.patch I have not thoroughly tested it, but it should work ... Best, Andres