diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2018-04-16T14·34+0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2018-04-16T14·34+0200 |
| commit | d5c9315d84fe3f38924f98d6d2fe9b8691bfe9b5 (patch) | |
| tree | eac6a737eba60a6d140e6e95c419b02e7df9d393 | |
| parent | d34fa2bcc3572fafc893755cee19d97aed7ec649 (diff) | |
| parent | a91fb422fed800227a78b2fe213d8aa2a39b7529 (diff) | |
Merge branch 'repl' of https://github.com/NinjaTrappeur/nix
| -rw-r--r-- | src/nix/repl.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/nix/repl.cc b/src/nix/repl.cc index 9782e835aeab..f84774a53367 100644 --- a/src/nix/repl.cc +++ b/src/nix/repl.cc @@ -189,6 +189,7 @@ bool NixRepl::getLine(string & input, const std::string &prompt) if (!s) { switch (auto type = linenoiseKeyType()) { case 1: // ctrl-C + input = ""; return true; case 2: // ctrl-D return false; |