diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2021-11-26 12:46:59 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-11-26 12:46:59 +0100 |
commit | c18238d92a04741e117c3f54d6ed7cc82a745482 (patch) | |
tree | 245d05d48b5d52c368d14846bff70d858c50309e | |
parent | 5fcf7f04a91c5cd0d49f833fe21991da89776a22 (diff) | |
parent | 6d166d19a6c1ffc8e651b7045ca1a8a7fff42e57 (diff) |
Merge pull request #5664 from tweag/catch-exception-in-repl
Catch flake-related exception type in REPL
-rw-r--r-- | src/nix/repl.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/nix/repl.cc b/src/nix/repl.cc index 41283c5f2..22a57de60 100644 --- a/src/nix/repl.cc +++ b/src/nix/repl.cc @@ -356,6 +356,8 @@ StringSet NixRepl::completePrefix(string prefix) // Quietly ignore evaluation errors. } catch (UndefinedVarError & e) { // Quietly ignore undefined variable errors. + } catch (BadURL & e) { + // Quietly ignore BadURL flake-related errors. } } |