diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2019-10-10 12:54:37 +0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2019-10-10 12:54:37 +0200 |
| commit | e99bb9121787ae30a1872f63b326ce5c130ec7ef (patch) | |
| tree | ecdd2b7ba575b0848d2770f8e74b40646f512c71 /src/nix/search.cc | |
| parent | d343c03edb8d4d2be7aca4f1a377544b3889b8b3 (diff) | |
| parent | c3aaf3b8da1a925c569389f13a861816a781a3c8 (diff) | |
Merge remote-tracking branch 'origin/master' into flakes
Diffstat (limited to 'src/nix/search.cc')
| -rw-r--r-- | src/nix/search.cc | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/nix/search.cc b/src/nix/search.cc index 70de717d1..caea25cdc 100644 --- a/src/nix/search.cc +++ b/src/nix/search.cc @@ -75,10 +75,6 @@ struct CmdSearch : SourceExprCommand, MixJSON Example{ "To search for git and frontend or gui:", "nix search git 'frontend|gui'" - }, - Example{ - "To display the description of the found packages:", - "nix search git --verbose" } }; } @@ -262,6 +258,7 @@ struct CmdSearch : SourceExprCommand, MixJSON https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66145 */ if (!jsonCacheFile) throw Error("error writing to %s", tmpFile); + throw; } if (writeCache && rename(tmpFile.c_str(), jsonCacheFileName.c_str()) == -1) |