-
Notifications
You must be signed in to change notification settings - Fork 696
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Ctrl-C in cabal repl
shouldn't exit the repl (just like GHCi)
#1610
Comments
Looks like a duplicate of #1560. |
Yeah, that's true! I didn't find it! |
Also: #1535. |
Though, it seems that this should've been fixed long ago, but I still experience the issue… |
Which version are you running? |
Recent hackage version: 1.18.0.2 of |
@adimit Try with a newer version of Cabal. |
That did the trick (I had to reinstall both |
When running
ghci
I can useCtrl-C
to interrupt actions that have obviously gone AWOL, or cancel a long running computation without entirely exiting GHCi itself.This does not work if GHCi was started via
cabal repl
. Ifcabal repl
were to trapSIGINT
and pass it on to GHCi, which would do the right thing with it, that would make my life a lot easier.Alternatively, a different way to cancel a computation without (expensively) exiting the repl should be provided.
(Sorry, I clicked this twice, on accident. Please delete the other #1609, if possible.)
The text was updated successfully, but these errors were encountered: