Read a string back from the input terminal into a variable
READ_TERMINAL() | Return a string typed in at the terminal |
example:
# Read a string >> printn "(" read_terminal() ")" abcd efg (abcd efg) >>
Note: To read numbers as well as strings you may wish to use the Inquire() command.
This command reads a string (terminated by a carriage return) from the terminal. A numeric string can be converted by using As_variable() on the string returned by Read_terminal(). This is the way the Inquire() command is written.
RESULT = (String)
The string read from the terminal, not including the return character which terminated the input.