From 3ef66cd23a81ae809bee8c27c0d65c3699be5c66 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <edolstra@gmail.com>
Date: Fri, 26 Nov 2021 13:10:28 +0100
Subject: [PATCH] nix repl: Reset the terminal on exceptional exits

---
 src/nix/repl.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/nix/repl.cc b/src/nix/repl.cc
index 22a57de60..2649eb0bd 100644
--- a/src/nix/repl.cc
+++ b/src/nix/repl.cc
@@ -279,6 +279,7 @@ bool NixRepl::getLine(string & input, const std::string &prompt)
     };
 
     setupSignals();
+    Finally resetTerminal([&]() { rl_deprep_terminal(); });
     char * s = readline(prompt.c_str());
     Finally doFree([&]() { free(s); });
     restoreSignals();