From 3133d678a8e13aee1c432272e6fd82bc57f6e95e Mon Sep 17 00:00:00 2001 From: Oleg Pykhalov Date: Thu, 22 Nov 2018 03:06:51 +0300 Subject: [PATCH] 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 b157833a49..1a105f51ee 100644 --- a/guix/scripts/repl.scm +++ b/guix/scripts/repl.scm @@ -188,7 +188,10 @@ (define opts (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