Message ID | 20181122144228.31573-1-go.wigust@gmail.com |
---|---|
State | Accepted |
Commit | 3133d678a8e13aee1c432272e6fd82bc57f6e95e |
Headers | show |
Series | Improve guix repl | expand |
Context | Check | Description |
---|---|---|
cbaines/applying patch | success | Successfully applied |
cbaines/applying patch | success | Successfully applied |
Hi Oleg,
Oleg Pykhalov <go.wigust@gmail.com> skribis:
> * guix/scripts/repl.scm (guix-repl): Do not exit repl on SIGINT.
LGTM, thanks!
Ludo'.
diff --git a/guix/scripts/repl.scm b/guix/scripts/repl.scm index b157833a4..1a105f51e 100644 --- a/guix/scripts/repl.scm +++ b/guix/scripts/repl.scm @@ -188,7 +188,10 @@ call THUNK." (save-module-excursion (lambda () (set-current-module user-module) - (start-repl)))) + ;; Do not exit repl on SIGINT. + ((@@ (ice-9 top-repl) call-with-sigint) + (lambda () + (start-repl)))))) ((machine) (machine-repl)) (else