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.