diff options
author | Oleg Pykhalov <go.wigust@gmail.com> | 2018-11-22 03:06:51 +0300 |
---|---|---|
committer | Oleg Pykhalov <go.wigust@gmail.com> | 2018-11-26 15:08:05 +0300 |
commit | 3133d678a8e13aee1c432272e6fd82bc57f6e95e (patch) | |
tree | 9b5eee22800e59316ab4098af5ca29d3793a6e84 | |
parent | 3b160bdccfd541660b9df7337979d88c3ce9bb25 (diff) | |
download | patches-3133d678a8e13aee1c432272e6fd82bc57f6e95e.tar patches-3133d678a8e13aee1c432272e6fd82bc57f6e95e.tar.gz |
repl: Do not exit repl on SIGINT.
* guix/scripts/repl.scm (guix-repl): Do not exit repl on SIGINT.
-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 |