diff options
Diffstat (limited to 'src/libstore/globals.hh')
| -rw-r--r-- | src/libstore/globals.hh | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/libstore/globals.hh b/src/libstore/globals.hh index 16af3a415..8856d8fae 100644 --- a/src/libstore/globals.hh +++ b/src/libstore/globals.hh @@ -290,6 +290,15 @@ public: Setting<off_t> reservedSize{this, 8 * 1024 * 1024, "gc-reserved-space", "Amount of reserved disk space for the garbage collector."}; + Setting<bool> enableCoreDumps{ + this, false, "enable-core-dumps", + R"( + If set to `false` (the default), `RLIMIT_CORE` has a soft limit of zero. + If set to `true`, the soft limit is infinite. + + The hard limit is always infinite. + )"}; + Setting<bool> fsyncMetadata{ this, true, "fsync-metadata", R"( |