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).
/home/abuild/rpmbuild/BUILD/nest-2.20.git/sli/gnureadline.cc