[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
01/01: repl: Do not exit repl on SIGINT.
From: |
guix-commits |
Subject: |
01/01: repl: Do not exit repl on SIGINT. |
Date: |
Mon, 26 Nov 2018 07:09:18 -0500 (EST) |
wigust pushed a commit to branch master
in repository guix.
commit 3133d678a8e13aee1c432272e6fd82bc57f6e95e
Author: Oleg Pykhalov <address@hidden>
Date: Thu Nov 22 03:06:51 2018 +0300
repl: Do not exit repl on SIGINT.
* guix/scripts/repl.scm (guix-repl): Do not exit repl on SIGINT.
---
guix/scripts/repl.scm | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/guix/scripts/repl.scm b/guix/scripts/repl.scm
index b157833..1a105f5 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