3 ms·How about Ctrl-D as well. Probably makes a bit more sense.by rane 12y agoHow about Ctrl-D as well. Probably makes a bit more sense.nailer 12y ago+1, Ctrl D is interrupt, and bash, node, python, etc. use it to quit.lavelle 12y agoI think I'll keep Ctrl+D for quitting the whole program, Ctrl+C for just finishing the REPL and going to the save/discard prompt.