2017-04-13 13:55:38 +00:00
|
|
|
#include "config.hh"
|
|
|
|
#include "args.hh"
|
2020-09-21 16:49:43 +00:00
|
|
|
#include "abstract-setting-to-json.hh"
|
2020-08-20 09:02:16 +00:00
|
|
|
|
|
|
|
#include <nlohmann/json.hpp>
|
2017-04-13 13:55:38 +00:00
|
|
|
|
|
|
|
namespace nix {
|
|
|
|
|
2018-03-27 16:41:31 +00:00
|
|
|
bool Config::set(const std::string & name, const std::string & value)
|
2017-04-13 13:55:38 +00:00
|
|
|
{
|
2020-10-29 17:17:39 +00:00
|
|
|
bool append = false;
|
2017-04-13 13:55:38 +00:00
|
|
|
auto i = _settings.find(name);
|
2020-10-29 17:17:39 +00:00
|
|
|
if (i == _settings.end()) {
|
|
|
|
if (hasPrefix(name, "extra-")) {
|
|
|
|
i = _settings.find(std::string(name, 6));
|
|
|
|
if (i == _settings.end() || !i->second.setting->isAppendable())
|
|
|
|
return false;
|
|
|
|
append = true;
|
|
|
|
} else
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
i->second.setting->set(value, append);
|
2018-03-27 16:41:31 +00:00
|
|
|
i->second.setting->overriden = true;
|
|
|
|
return true;
|
2017-04-13 13:55:38 +00:00
|
|
|
}
|
|
|
|
|
2017-04-13 18:53:23 +00:00
|
|
|
void Config::addSetting(AbstractSetting * setting)
|
2017-04-13 13:55:38 +00:00
|
|
|
{
|
2017-05-03 14:08:48 +00:00
|
|
|
_settings.emplace(setting->name, Config::SettingData(false, setting));
|
2017-04-13 13:55:38 +00:00
|
|
|
for (auto & alias : setting->aliases)
|
2017-05-03 14:08:48 +00:00
|
|
|
_settings.emplace(alias, Config::SettingData(true, setting));
|
2017-04-13 13:55:38 +00:00
|
|
|
|
|
|
|
bool set = false;
|
|
|
|
|
2018-03-27 16:41:31 +00:00
|
|
|
auto i = unknownSettings.find(setting->name);
|
|
|
|
if (i != unknownSettings.end()) {
|
2017-04-13 13:55:38 +00:00
|
|
|
setting->set(i->second);
|
2017-04-20 12:58:16 +00:00
|
|
|
setting->overriden = true;
|
2018-03-27 16:41:31 +00:00
|
|
|
unknownSettings.erase(i);
|
2017-04-13 13:55:38 +00:00
|
|
|
set = true;
|
|
|
|
}
|
|
|
|
|
|
|
|
for (auto & alias : setting->aliases) {
|
2018-03-27 16:41:31 +00:00
|
|
|
auto i = unknownSettings.find(alias);
|
|
|
|
if (i != unknownSettings.end()) {
|
2017-04-13 13:55:38 +00:00
|
|
|
if (set)
|
|
|
|
warn("setting '%s' is set, but it's an alias of '%s' which is also set",
|
|
|
|
alias, setting->name);
|
|
|
|
else {
|
|
|
|
setting->set(i->second);
|
2017-04-20 12:58:16 +00:00
|
|
|
setting->overriden = true;
|
2018-03-27 16:41:31 +00:00
|
|
|
unknownSettings.erase(i);
|
2017-04-13 13:55:38 +00:00
|
|
|
set = true;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-03-27 16:41:31 +00:00
|
|
|
void AbstractConfig::warnUnknownSettings()
|
2017-04-13 13:55:38 +00:00
|
|
|
{
|
2018-03-27 16:41:31 +00:00
|
|
|
for (auto & s : unknownSettings)
|
2018-02-19 13:00:34 +00:00
|
|
|
warn("unknown setting '%s'", s.first);
|
2017-04-13 13:55:38 +00:00
|
|
|
}
|
|
|
|
|
2018-03-27 16:41:31 +00:00
|
|
|
void AbstractConfig::reapplyUnknownSettings()
|
|
|
|
{
|
|
|
|
auto unknownSettings2 = std::move(unknownSettings);
|
|
|
|
for (auto & s : unknownSettings2)
|
|
|
|
set(s.first, s.second);
|
|
|
|
}
|
|
|
|
|
|
|
|
void Config::getSettings(std::map<std::string, SettingInfo> & res, bool overridenOnly)
|
2017-04-13 13:55:38 +00:00
|
|
|
{
|
|
|
|
for (auto & opt : _settings)
|
2017-04-20 12:58:16 +00:00
|
|
|
if (!opt.second.isAlias && (!overridenOnly || opt.second.setting->overriden))
|
2018-03-27 16:41:31 +00:00
|
|
|
res.emplace(opt.first, SettingInfo{opt.second.setting->to_string(), opt.second.setting->description});
|
2017-04-13 13:55:38 +00:00
|
|
|
}
|
|
|
|
|
2020-05-27 12:39:02 +00:00
|
|
|
void AbstractConfig::applyConfig(const std::string & contents, const std::string & path) {
|
|
|
|
unsigned int pos = 0;
|
|
|
|
|
|
|
|
while (pos < contents.size()) {
|
|
|
|
string line;
|
|
|
|
while (pos < contents.size() && contents[pos] != '\n')
|
|
|
|
line += contents[pos++];
|
|
|
|
pos++;
|
|
|
|
|
|
|
|
string::size_type hash = line.find('#');
|
|
|
|
if (hash != string::npos)
|
|
|
|
line = string(line, 0, hash);
|
|
|
|
|
|
|
|
vector<string> tokens = tokenizeString<vector<string> >(line);
|
|
|
|
if (tokens.empty()) continue;
|
|
|
|
|
|
|
|
if (tokens.size() < 2)
|
|
|
|
throw UsageError("illegal configuration line '%1%' in '%2%'", line, path);
|
|
|
|
|
|
|
|
auto include = false;
|
|
|
|
auto ignoreMissing = false;
|
|
|
|
if (tokens[0] == "include")
|
|
|
|
include = true;
|
|
|
|
else if (tokens[0] == "!include") {
|
|
|
|
include = true;
|
|
|
|
ignoreMissing = true;
|
|
|
|
}
|
2017-04-13 18:53:23 +00:00
|
|
|
|
2020-05-27 12:39:02 +00:00
|
|
|
if (include) {
|
|
|
|
if (tokens.size() != 2)
|
2018-02-13 13:16:32 +00:00
|
|
|
throw UsageError("illegal configuration line '%1%' in '%2%'", line, path);
|
2020-05-27 12:39:02 +00:00
|
|
|
auto p = absPath(tokens[1], dirOf(path));
|
|
|
|
if (pathExists(p)) {
|
|
|
|
applyConfigFile(p);
|
|
|
|
} else if (!ignoreMissing) {
|
|
|
|
throw Error("file '%1%' included from '%2%' not found", p, path);
|
2018-02-13 13:16:32 +00:00
|
|
|
}
|
2020-05-27 12:39:02 +00:00
|
|
|
continue;
|
|
|
|
}
|
2018-02-13 13:16:32 +00:00
|
|
|
|
2020-05-27 12:39:02 +00:00
|
|
|
if (tokens[1] != "=")
|
|
|
|
throw UsageError("illegal configuration line '%1%' in '%2%'", line, path);
|
2018-02-13 13:16:32 +00:00
|
|
|
|
2020-05-27 12:39:02 +00:00
|
|
|
string name = tokens[0];
|
2017-04-13 18:53:23 +00:00
|
|
|
|
2020-05-27 12:39:02 +00:00
|
|
|
vector<string>::iterator i = tokens.begin();
|
|
|
|
advance(i, 2);
|
2017-04-13 18:53:23 +00:00
|
|
|
|
2020-05-27 12:39:02 +00:00
|
|
|
set(name, concatStringsSep(" ", Strings(i, tokens.end()))); // FIXME: slow
|
|
|
|
};
|
|
|
|
}
|
2017-04-13 18:53:23 +00:00
|
|
|
|
2020-05-27 12:39:02 +00:00
|
|
|
void AbstractConfig::applyConfigFile(const Path & path)
|
|
|
|
{
|
|
|
|
try {
|
|
|
|
string contents = readFile(path);
|
|
|
|
applyConfig(contents, path);
|
2017-04-13 18:53:23 +00:00
|
|
|
} catch (SysError &) { }
|
|
|
|
}
|
|
|
|
|
2017-04-20 12:58:16 +00:00
|
|
|
void Config::resetOverriden()
|
|
|
|
{
|
|
|
|
for (auto & s : _settings)
|
|
|
|
s.second.setting->overriden = false;
|
|
|
|
}
|
|
|
|
|
2020-08-20 09:02:16 +00:00
|
|
|
nlohmann::json Config::toJSON()
|
2017-04-20 15:34:47 +00:00
|
|
|
{
|
2020-08-20 09:02:16 +00:00
|
|
|
auto res = nlohmann::json::object();
|
2017-04-20 15:34:47 +00:00
|
|
|
for (auto & s : _settings)
|
|
|
|
if (!s.second.isAlias) {
|
2020-09-09 09:35:33 +00:00
|
|
|
res.emplace(s.first, s.second.setting->toJSON());
|
2017-04-20 15:34:47 +00:00
|
|
|
}
|
2020-08-20 09:02:16 +00:00
|
|
|
return res;
|
2017-04-20 15:34:47 +00:00
|
|
|
}
|
|
|
|
|
2017-06-07 16:41:20 +00:00
|
|
|
void Config::convertToArgs(Args & args, const std::string & category)
|
2017-06-07 14:17:17 +00:00
|
|
|
{
|
|
|
|
for (auto & s : _settings)
|
|
|
|
if (!s.second.isAlias)
|
2017-06-07 16:41:20 +00:00
|
|
|
s.second.setting->convertToArg(args, category);
|
2017-06-07 14:17:17 +00:00
|
|
|
}
|
|
|
|
|
2017-04-13 13:55:38 +00:00
|
|
|
AbstractSetting::AbstractSetting(
|
|
|
|
const std::string & name,
|
|
|
|
const std::string & description,
|
|
|
|
const std::set<std::string> & aliases)
|
2020-08-19 16:28:04 +00:00
|
|
|
: name(name), description(stripIndentation(description)), aliases(aliases)
|
2017-04-13 13:55:38 +00:00
|
|
|
{
|
|
|
|
}
|
|
|
|
|
2019-12-17 16:17:53 +00:00
|
|
|
void AbstractSetting::setDefault(const std::string & str)
|
|
|
|
{
|
|
|
|
if (!overriden) set(str);
|
|
|
|
}
|
|
|
|
|
2020-08-20 09:02:16 +00:00
|
|
|
nlohmann::json AbstractSetting::toJSON()
|
2017-04-20 15:34:47 +00:00
|
|
|
{
|
2020-09-09 09:35:33 +00:00
|
|
|
return nlohmann::json(toJSONObject());
|
2017-04-20 15:34:47 +00:00
|
|
|
}
|
|
|
|
|
2020-09-09 09:35:33 +00:00
|
|
|
std::map<std::string, nlohmann::json> AbstractSetting::toJSONObject()
|
2017-06-07 14:17:17 +00:00
|
|
|
{
|
2020-09-09 09:35:33 +00:00
|
|
|
std::map<std::string, nlohmann::json> obj;
|
|
|
|
obj.emplace("description", description);
|
|
|
|
obj.emplace("aliases", aliases);
|
|
|
|
return obj;
|
2017-06-07 14:17:17 +00:00
|
|
|
}
|
|
|
|
|
2020-09-09 09:35:33 +00:00
|
|
|
void AbstractSetting::convertToArg(Args & args, const std::string & category)
|
2017-04-20 15:34:47 +00:00
|
|
|
{
|
|
|
|
}
|
|
|
|
|
2020-10-29 17:17:39 +00:00
|
|
|
template<typename T>
|
|
|
|
bool BaseSetting<T>::isAppendable()
|
|
|
|
{
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2017-06-07 14:17:17 +00:00
|
|
|
template<typename T>
|
2017-06-07 16:41:20 +00:00
|
|
|
void BaseSetting<T>::convertToArg(Args & args, const std::string & category)
|
2017-06-07 14:17:17 +00:00
|
|
|
{
|
2020-05-04 20:40:19 +00:00
|
|
|
args.addFlag({
|
|
|
|
.longName = name,
|
2020-10-29 17:26:35 +00:00
|
|
|
.description = fmt("Set the `%s` setting.", name),
|
2020-05-04 20:40:19 +00:00
|
|
|
.category = category,
|
|
|
|
.labels = {"value"},
|
|
|
|
.handler = {[=](std::string s) { overriden = true; set(s); }},
|
|
|
|
});
|
2020-10-29 17:17:39 +00:00
|
|
|
|
|
|
|
if (isAppendable())
|
|
|
|
args.addFlag({
|
|
|
|
.longName = "extra-" + name,
|
2020-10-29 17:26:35 +00:00
|
|
|
.description = fmt("Append to the `%s` setting.", name),
|
2020-10-29 17:17:39 +00:00
|
|
|
.category = category,
|
|
|
|
.labels = {"value"},
|
|
|
|
.handler = {[=](std::string s) { overriden = true; set(s, true); }},
|
|
|
|
});
|
2017-06-07 14:17:17 +00:00
|
|
|
}
|
|
|
|
|
2020-10-29 17:17:39 +00:00
|
|
|
template<> void BaseSetting<std::string>::set(const std::string & str, bool append)
|
2017-04-13 13:55:38 +00:00
|
|
|
{
|
|
|
|
value = str;
|
|
|
|
}
|
|
|
|
|
2019-12-17 16:17:53 +00:00
|
|
|
template<> std::string BaseSetting<std::string>::to_string() const
|
2017-04-13 13:55:38 +00:00
|
|
|
{
|
|
|
|
return value;
|
|
|
|
}
|
|
|
|
|
2017-04-20 14:52:53 +00:00
|
|
|
template<typename T>
|
2020-10-29 17:17:39 +00:00
|
|
|
void BaseSetting<T>::set(const std::string & str, bool append)
|
2017-04-13 13:55:38 +00:00
|
|
|
{
|
2017-04-13 15:54:05 +00:00
|
|
|
static_assert(std::is_integral<T>::value, "Integer required.");
|
2017-04-13 18:53:23 +00:00
|
|
|
if (!string2Int(str, value))
|
2017-04-13 13:55:38 +00:00
|
|
|
throw UsageError("setting '%s' has invalid value '%s'", name, str);
|
|
|
|
}
|
|
|
|
|
2017-04-20 14:52:53 +00:00
|
|
|
template<typename T>
|
2019-12-17 16:17:53 +00:00
|
|
|
std::string BaseSetting<T>::to_string() const
|
2017-04-13 13:55:38 +00:00
|
|
|
{
|
2017-04-13 15:54:05 +00:00
|
|
|
static_assert(std::is_integral<T>::value, "Integer required.");
|
2017-04-13 13:55:38 +00:00
|
|
|
return std::to_string(value);
|
|
|
|
}
|
|
|
|
|
2020-10-29 17:17:39 +00:00
|
|
|
template<> void BaseSetting<bool>::set(const std::string & str, bool append)
|
2017-04-13 13:55:38 +00:00
|
|
|
{
|
2017-04-13 14:31:28 +00:00
|
|
|
if (str == "true" || str == "yes" || str == "1")
|
2017-04-20 14:52:53 +00:00
|
|
|
value = true;
|
2017-04-13 14:31:28 +00:00
|
|
|
else if (str == "false" || str == "no" || str == "0")
|
2017-04-20 14:52:53 +00:00
|
|
|
value = false;
|
2017-04-13 14:31:28 +00:00
|
|
|
else
|
|
|
|
throw UsageError("Boolean setting '%s' has invalid value '%s'", name, str);
|
2017-04-13 13:55:38 +00:00
|
|
|
}
|
|
|
|
|
2019-12-17 16:17:53 +00:00
|
|
|
template<> std::string BaseSetting<bool>::to_string() const
|
2017-04-13 18:53:23 +00:00
|
|
|
{
|
2017-04-20 14:52:53 +00:00
|
|
|
return value ? "true" : "false";
|
2017-04-13 18:53:23 +00:00
|
|
|
}
|
|
|
|
|
2017-06-07 16:41:20 +00:00
|
|
|
template<> void BaseSetting<bool>::convertToArg(Args & args, const std::string & category)
|
2017-06-07 14:17:17 +00:00
|
|
|
{
|
2020-05-04 20:40:19 +00:00
|
|
|
args.addFlag({
|
|
|
|
.longName = name,
|
2020-10-29 17:26:35 +00:00
|
|
|
.description = fmt("Enable the `%s` setting.", name),
|
2020-05-04 20:40:19 +00:00
|
|
|
.category = category,
|
|
|
|
.handler = {[=]() { override(true); }}
|
|
|
|
});
|
|
|
|
args.addFlag({
|
|
|
|
.longName = "no-" + name,
|
2020-10-29 17:26:35 +00:00
|
|
|
.description = fmt("Disable the `%s` setting.", name),
|
2020-05-04 20:40:19 +00:00
|
|
|
.category = category,
|
|
|
|
.handler = {[=]() { override(false); }}
|
|
|
|
});
|
2017-06-07 14:17:17 +00:00
|
|
|
}
|
|
|
|
|
2020-10-29 17:17:39 +00:00
|
|
|
template<> void BaseSetting<Strings>::set(const std::string & str, bool append)
|
|
|
|
{
|
|
|
|
auto ss = tokenizeString<Strings>(str);
|
|
|
|
if (!append) value.clear();
|
|
|
|
for (auto & s : ss) value.push_back(std::move(s));
|
|
|
|
}
|
|
|
|
|
|
|
|
template<> bool BaseSetting<Strings>::isAppendable()
|
2017-04-13 18:53:23 +00:00
|
|
|
{
|
2020-10-29 17:17:39 +00:00
|
|
|
return true;
|
2017-04-13 18:53:23 +00:00
|
|
|
}
|
|
|
|
|
2019-12-17 16:17:53 +00:00
|
|
|
template<> std::string BaseSetting<Strings>::to_string() const
|
2017-04-13 18:53:23 +00:00
|
|
|
{
|
|
|
|
return concatStringsSep(" ", value);
|
|
|
|
}
|
|
|
|
|
2020-10-29 17:17:39 +00:00
|
|
|
template<> void BaseSetting<StringSet>::set(const std::string & str, bool append)
|
2017-04-13 18:53:23 +00:00
|
|
|
{
|
2020-11-09 14:04:34 +00:00
|
|
|
if (!append) value.clear();
|
|
|
|
for (auto & s : tokenizeString<StringSet>(str))
|
|
|
|
value.insert(s);
|
|
|
|
}
|
|
|
|
|
|
|
|
template<> bool BaseSetting<StringSet>::isAppendable()
|
|
|
|
{
|
|
|
|
return true;
|
2017-04-13 18:53:23 +00:00
|
|
|
}
|
|
|
|
|
2019-12-17 16:17:53 +00:00
|
|
|
template<> std::string BaseSetting<StringSet>::to_string() const
|
2017-04-13 18:53:23 +00:00
|
|
|
{
|
|
|
|
return concatStringsSep(" ", value);
|
2017-04-13 13:55:38 +00:00
|
|
|
}
|
|
|
|
|
2020-10-29 17:17:39 +00:00
|
|
|
template<> void BaseSetting<StringMap>::set(const std::string & str, bool append)
|
2020-09-25 05:42:59 +00:00
|
|
|
{
|
2020-10-29 17:17:39 +00:00
|
|
|
if (!append) value.clear();
|
2020-11-09 14:04:34 +00:00
|
|
|
for (auto & s : tokenizeString<Strings>(str)) {
|
2020-09-25 05:42:59 +00:00
|
|
|
auto eq = s.find_first_of('=');
|
|
|
|
if (std::string::npos != eq)
|
|
|
|
value.emplace(std::string(s, 0, eq), std::string(s, eq + 1));
|
|
|
|
// else ignored
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-10-29 17:17:39 +00:00
|
|
|
template<> bool BaseSetting<StringMap>::isAppendable()
|
|
|
|
{
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2020-09-25 05:42:59 +00:00
|
|
|
template<> std::string BaseSetting<StringMap>::to_string() const
|
|
|
|
{
|
|
|
|
Strings kvstrs;
|
|
|
|
std::transform(value.begin(), value.end(), back_inserter(kvstrs),
|
|
|
|
[&](auto kvpair){ return kvpair.first + "=" + kvpair.second; });
|
|
|
|
return concatStringsSep(" ", kvstrs);
|
|
|
|
}
|
|
|
|
|
2017-04-20 14:52:53 +00:00
|
|
|
template class BaseSetting<int>;
|
|
|
|
template class BaseSetting<unsigned int>;
|
|
|
|
template class BaseSetting<long>;
|
|
|
|
template class BaseSetting<unsigned long>;
|
|
|
|
template class BaseSetting<long long>;
|
|
|
|
template class BaseSetting<unsigned long long>;
|
2017-04-20 15:34:47 +00:00
|
|
|
template class BaseSetting<bool>;
|
2017-04-28 15:13:55 +00:00
|
|
|
template class BaseSetting<std::string>;
|
2017-06-07 14:17:17 +00:00
|
|
|
template class BaseSetting<Strings>;
|
|
|
|
template class BaseSetting<StringSet>;
|
2020-09-25 05:42:59 +00:00
|
|
|
template class BaseSetting<StringMap>;
|
2017-04-13 15:54:05 +00:00
|
|
|
|
2020-10-29 17:17:39 +00:00
|
|
|
void PathSetting::set(const std::string & str, bool append)
|
2017-04-13 13:55:38 +00:00
|
|
|
{
|
|
|
|
if (str == "") {
|
|
|
|
if (allowEmpty)
|
|
|
|
value = "";
|
|
|
|
else
|
|
|
|
throw UsageError("setting '%s' cannot be empty", name);
|
|
|
|
} else
|
|
|
|
value = canonPath(str);
|
|
|
|
}
|
|
|
|
|
2018-03-27 16:41:31 +00:00
|
|
|
bool GlobalConfig::set(const std::string & name, const std::string & value)
|
|
|
|
{
|
|
|
|
for (auto & config : *configRegistrations)
|
|
|
|
if (config->set(name, value)) return true;
|
|
|
|
|
|
|
|
unknownSettings.emplace(name, value);
|
|
|
|
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
void GlobalConfig::getSettings(std::map<std::string, SettingInfo> & res, bool overridenOnly)
|
|
|
|
{
|
|
|
|
for (auto & config : *configRegistrations)
|
|
|
|
config->getSettings(res, overridenOnly);
|
|
|
|
}
|
|
|
|
|
|
|
|
void GlobalConfig::resetOverriden()
|
|
|
|
{
|
|
|
|
for (auto & config : *configRegistrations)
|
|
|
|
config->resetOverriden();
|
|
|
|
}
|
|
|
|
|
2020-08-20 09:02:16 +00:00
|
|
|
nlohmann::json GlobalConfig::toJSON()
|
2018-03-27 16:41:31 +00:00
|
|
|
{
|
2020-08-20 09:02:16 +00:00
|
|
|
auto res = nlohmann::json::object();
|
2018-03-27 16:41:31 +00:00
|
|
|
for (auto & config : *configRegistrations)
|
2020-08-20 09:02:16 +00:00
|
|
|
res.update(config->toJSON());
|
|
|
|
return res;
|
2018-03-27 16:41:31 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
void GlobalConfig::convertToArgs(Args & args, const std::string & category)
|
|
|
|
{
|
|
|
|
for (auto & config : *configRegistrations)
|
|
|
|
config->convertToArgs(args, category);
|
|
|
|
}
|
|
|
|
|
|
|
|
GlobalConfig globalConfig;
|
|
|
|
|
|
|
|
GlobalConfig::ConfigRegistrations * GlobalConfig::configRegistrations;
|
|
|
|
|
|
|
|
GlobalConfig::Register::Register(Config * config)
|
|
|
|
{
|
|
|
|
if (!configRegistrations)
|
|
|
|
configRegistrations = new ConfigRegistrations;
|
|
|
|
configRegistrations->emplace_back(config);
|
|
|
|
}
|
|
|
|
|
2017-04-13 13:55:38 +00:00
|
|
|
}
|