diff options
author | Dan Peebles <pumpkin@me.com> | 2017-02-22T03·50-0500 |
---|---|---|
committer | Dan Peebles <pumpkin@me.com> | 2017-02-23T01·19-0500 |
commit | e7cb2847ab1cec48eac6a86c56885b3f0df76275 (patch) | |
tree | 85c7254b0608e40e3e6b12127a5953c30eb4afc8 /src/libexpr/primops/fetchgit.cc | |
parent | 8b1b5f9a12d4b5196be791118c58ae253ba02d96 (diff) |
Explicitly model all settings and fail on unrecognized ones
Previously, the Settings class allowed other code to query for string properties, which led to a proliferation of code all over the place making up new options without any sort of central registry of valid options. This commit pulls all those options back into the central Settings class and removes the public get() methods, to discourage future abuses like that. Furthermore, because we know the full set of options ahead of time, we now fail loudly if someone enters an unrecognized option, thus preventing subtle typos. With some template fun, we could probably also dump the full set of options (with documentation, defaults, etc.) to the command line, but I'm not doing that yet here.
Diffstat (limited to 'src/libexpr/primops/fetchgit.cc')
0 files changed, 0 insertions, 0 deletions