GNUreadline


Name:
GNUreadline - Read and edit a line from standard input
Synopsis:
(prompt) GNUreadline -> (string) true  
-> false
Description:
GNUreadline offers an interface to the GNU readline library.  
It offers - line editing
- history browsing
- filename completion (with TAB)
Require:
HAVE_READLINE  
Remarks:
If GNUreadline is executed with a number, the Interpreter is exited  
(in contrast to readline).
SeeAlso: Source:
/home/nest/work/nest-2.14.0/sli/gnureadline.cc