roc icon indicating copy to clipboard operation
roc copied to clipboard

Do not exit the repl when Ctrl-C is pressed, fixes #6870

Open ageron opened this issue 1 year ago • 1 comments

Ctrl-C currently exits the REPL. In virtually every other REPL, Ctrl-C just cancels the current command, it doesn't exit. This means that users will accidently close their ROC REPL and lose their current work. It's also convenient to be able to cancel the current command very simply (without having to type Ctrl-A + Ctrl-K).

See the discussion in https://github.com/roc-lang/roc/issues/6870.

ageron avatar Jul 07 '24 12:07 ageron

Thank you for your contribution! Sometimes PRs end up staying open for a long time without activity, which can make the list of open PRs get long and time-consuming to review. To keep things manageable for reviewers, this bot automatically closes PRs that haven’t had activity in 60 days. This PR hasn’t had activity in 30 days, so it will be automatically closed if there is no more activity in the next 30 days. Keep in mind that PRs marked Closed are not deleted, so no matter what, the PR will still be right here in the repo. You can always access it and reopen it anytime you like!

github-actions[bot] avatar Sep 01 '24 02:09 github-actions[bot]