GNUreadline

Command: GNUreadline


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)
File
sli/gnureadline.cc
Remarks
If GNUreadline is executed with a number the Interpreter is exited
(in contrast to readline).