diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2020-08-14 17:05:47 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-14 17:05:47 +0200 |
| commit | 9b9d5297baf02923a1e2879441bc1e25190d01cc (patch) | |
| tree | cde8f4722537ad8638dbe604c23c7e115bc0fcb7 /src/libstore/globals.hh | |
| parent | d81f13f7cbb3989477d092b712877fb0835fd155 (diff) | |
| parent | 96c158d6e1c6c3bed6451a3c6447d2b0bd0337ad (diff) | |
Merge pull request #3909 from matthewbauer/readd-hashed-mirrors
Add hashed-mirrors back
Diffstat (limited to 'src/libstore/globals.hh')
| -rw-r--r-- | src/libstore/globals.hh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/libstore/globals.hh b/src/libstore/globals.hh index 3406a9331..e3bb4cf84 100644 --- a/src/libstore/globals.hh +++ b/src/libstore/globals.hh @@ -335,6 +335,9 @@ public: "setuid/setgid bits or with file capabilities."}; #endif + Setting<Strings> hashedMirrors{this, {}, "hashed-mirrors", + "A list of servers used by builtins.fetchurl to fetch files by hash."}; + Setting<uint64_t> minFree{this, 0, "min-free", "Automatically run the garbage collector when free disk space drops below the specified amount."}; |