GNUreadline - Read and edit a line from standard input
(prompt) GNUreadline -> (string) true
-> false
GNUreadline offers an interface to the GNU readline library.
It offers - line editing
• history browsing
• filename completion (with TAB)
HAVE_READLINE
If GNUreadline is executed with a number, the Interpreter is exited
(in contrast to readline).
/usr/src/packages/BUILD/sli/gnureadline.cc