search

Geomol / World

World Programming Language
http://world-lang.org
22 stars 7 forks source link

Ctrld-D should exit the REPL #2

Closed earl closed 12 years ago

earl commented 12 years ago

Currently pressing ctrl-d inputs the EOT character (u+0004). It would be nice if ctrl-d just exits the interpreter instead (as if calling q).

Geomol commented 12 years ago

ctrl-c is used to exit

Geomol commented 12 years ago

Should both ctrl-c and ctrl-d exit? Or should it be configurable? Maybe in system/console together with a key to toggle auto brackets.

earl commented 12 years ago

Ctrl-D (as the very first input after a new prompt) should definitely exit, at least on Linux & OSX.

Ctrl-C should somewhen in the future probably rather send a (catchable) "interrupt" signal/event, rather than exit right away. But that really is a separate issue, imo.

btiffin commented 12 years ago

I'll chirp in. Ctrl-D for end-of-file (quit) in the console, Ctrl-C for SIGINT

If World supported configurable keyboard and line-edit, it would be a win John, but I'd settle for simple first. Your console is already a beauty.

Geomol commented 12 years ago

Done.