Closed mcandre closed 4 years ago
REPLs commonly accept Control+D, also known as EOF, as terminating the session. Could papryus adopt this convention as well?
Papyrus uses Ctrl+c to exit the session. The command :exit can also be used to exit. Ctrl+d is already used in verbatim mode, which I can added documentation in the cmds module.
Ctrl+c
:exit
Ctrl+d
cmds
REPLs commonly accept Control+D, also known as EOF, as terminating the session. Could papryus adopt this convention as well?