Readline interface: Difference between revisions
Content added Content deleted
m (→{{header|Ruby}}: added comment) |
|||
| Line 497: | Line 497: | ||
Readline.completion_proc = commands.abbrev.to_proc |
Readline.completion_proc = commands.abbrev.to_proc |
||
while buf = Readline.readline(">", true) |
while buf = Readline.readline(">", true) # true means: keep history. |
||
exit if buf.strip == "quit" |
exit if buf.strip == "quit" |
||
p buf |
p buf |
||