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).
/var/www/debian/nest/nest-simulator-2.20.0/sli/gnureadline.cc