01/01: repl: Do not exit repl on SIGINT.

[guix-commits]

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