diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-02-14T13·07+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-02-14T13·07+0000 |
commit | 6a8ef36fe62c1b53572b0cf64685ece6190b22e5 (patch) | |
tree | 67681e9dfe11eec25cb0a0f543a9b027eeb7f5ee /src/libstore/globals.cc | |
parent | b0aba6ec2ac09d5ecdf0068b91010cdee1caae9d (diff) |
* Global configuration option `env-keep-derivations' to store pointer
to derivations in user environments. Nice for developers (since it prevents build-time-only dependencies from being GC'ed, in conjunction with `gc-keep-outputs'). Turned off by default.
Diffstat (limited to 'src/libstore/globals.cc')
-rw-r--r-- | src/libstore/globals.cc | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/src/libstore/globals.cc b/src/libstore/globals.cc index 22820f2fe8ac..4387c8acc2aa 100644 --- a/src/libstore/globals.cc +++ b/src/libstore/globals.cc @@ -52,7 +52,7 @@ static void readSettings() string name, sep, value; is >> name >> sep >> value; if (sep != "=" || !is) - throw Error(format("illegal configuration line `%1%'") % line); + throw Error(format("illegal configuration line `%1%' in `%2%'") % line % settingsFile); settings[name] = value; }; @@ -67,3 +67,13 @@ string querySetting(const string & name, const string & def) map<string, string>::iterator i = settings.find(name); return i == settings.end() ? def : i->second; } + + +bool queryBoolSetting(const string & name, bool def) +{ + string value = querySetting(name, def ? "true" : "false"); + if (value == "true") return true; + else if (value == "false") return false; + else throw Error(format("configuration option `%1%' should be either `true' or `false', not `%2%'") + % name % value); +} |