interrupt in the shell should stop the currently running statement
cardillo opened this issue · 0 comments
cardillo commented
currently, interrupt (^C) in the shell stops the shell altogether, this is ok if nothing is running, but it would be nice if it could also be used to stop the current command and leave the shell running if one wants to cancel a long-running operation.