diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2018-11-29 15:56:49 +0100 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2018-11-29 15:56:49 +0100 |
| commit | 25ca46985ccb26880f98b479d2a3ac862b20006e (patch) | |
| tree | b52670028a36c5815f16311438c4c5f1f0f3e759 /guix/scripts/repl.scm | |
| parent | e2b9ed7fcc019df290f0f5bbe221803efb031123 (diff) | |
| parent | 7af6e5daa4ffb1bbda48a4e990815066f21bdadc (diff) | |
Merge branch 'master' into core-updates
Diffstat (limited to 'guix/scripts/repl.scm')
| -rw-r--r-- | guix/scripts/repl.scm | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/guix/scripts/repl.scm b/guix/scripts/repl.scm index b157833a49..1a105f51ee 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 |