commit 4af8dbf8964924dc3d2ec2bbfa159dae288b29fc · pyrox.dev/nixpkgs

+53 -51

nixos/modules/installer/tools/nixos-option/libnix-copy-paste.cc

···

       21
       21
        
       using std::string;

     

       22
       22
        
       

     

       23
       23
        
       // From nix/src/libexpr/attr-path.cc

     

       24
       24
       -
       Strings parseAttrPath(const string &s) {

     

       25
       25
       -
         Strings res;

     

       26
       26
       -
         string cur;

     

       27
       27
       -
         string::const_iterator i = s.begin();

     

       28
       28
       -
         while (i != s.end()) {

     

       29
       29
       -
           if (*i == '.') {

     

       30
       30
       -
             res.push_back(cur);

     

       31
       31
       -
             cur.clear();

     

       32
       32
       -
           } else if (*i == '"') {

     

       33
       33
       -
             ++i;

     

       34
       34
       -
             while (1) {

     

       35
       35
       -
               if (i == s.end())

     

       36
       36
       -
                 throw Error(format("missing closing quote in selection path '%1%'") %

     

       37
       37
       -
                             s);

     

       38
       38
       -
               if (*i == '"')

     

       39
       39
       -
                 break;

     

       40
       40
       -
               cur.push_back(*i++);

     

       41
       41
       -
             }

     

       42
       42
       -
           } else

     

       43
       43
       -
             cur.push_back(*i);

     

       44
       44
       -
           ++i;

     

       45
       45
       -
         }

     

       46
       46
       -
         if (!cur.empty())

     

       47
       47
       -
           res.push_back(cur);

     

       48
       48
       -
         return res;

     

       24
       24
       +
       Strings parseAttrPath(const string & s)

     

       25
       25
       +
       {

     

       26
       26
       +
           Strings res;

     

       27
       27
       +
           string cur;

     

       28
       28
       +
           string::const_iterator i = s.begin();

     

       29
       29
       +
           while (i != s.end()) {

     

       30
       30
       +
               if (*i == '.') {

     

       31
       31
       +
                   res.push_back(cur);

     

       32
       32
       +
                   cur.clear();

     

       33
       33
       +
               } else if (*i == '"') {

     

       34
       34
       +
                   ++i;

     

       35
       35
       +
                   while (1) {

     

       36
       36
       +
                       if (i == s.end())

     

       37
       37
       +
                           throw Error(format("missing closing quote in selection path '%1%'") % s);

     

       38
       38
       +
                       if (*i == '"')

     

       39
       39
       +
                           break;

     

       40
       40
       +
                       cur.push_back(*i++);

     

       41
       41
       +
                   }

     

       42
       42
       +
               } else

     

       43
       43
       +
                   cur.push_back(*i);

     

       44
       44
       +
               ++i;

     

       45
       45
       +
           }

     

       46
       46
       +
           if (!cur.empty())

     

       47
       47
       +
               res.push_back(cur);

     

       48
       48
       +
           return res;

     

       49
       49
        
       }

     

       50
       50
        
       

     

       51
       51
        
       // From nix/src/nix/repl.cc

     

       52
       52
       -
       bool isVarName(const string &s) {

     

       53
       53
       -
         if (s.size() == 0)

     

       54
       54
       -
           return false;

     

       55
       55
       -
         char c = s[0];

     

       56
       56
       -
         if ((c >= '0' && c <= '9') || c == '-' || c == '\'')

     

       57
       57
       -
           return false;

     

       58
       58
       -
         for (auto &i : s)

     

       59
       59
       -
           if (!((i >= 'a' && i <= 'z') || (i >= 'A' && i <= 'Z') ||

     

       60
       60
       -
                 (i >= '0' && i <= '9') || i == '_' || i == '-' || i == '\''))

     

       61
       61
       -
             return false;

     

       62
       62
       -
         return true;

     

       52
       52
       +
       bool isVarName(const string & s)

     

       53
       53
       +
       {

     

       54
       54
       +
           if (s.size() == 0)

     

       55
       55
       +
               return false;

     

       56
       56
       +
           char c = s[0];

     

       57
       57
       +
           if ((c >= '0' && c <= '9') || c == '-' || c == '\'')

     

       58
       58
       +
               return false;

     

       59
       59
       +
           for (auto & i : s)

     

       60
       60
       +
               if (!((i >= 'a' && i <= 'z') || (i >= 'A' && i <= 'Z') || (i >= '0' && i <= '9') || i == '_' || i == '-' ||

     

       61
       61
       +
                     i == '\''))

     

       62
       62
       +
                   return false;

     

       63
       63
       +
           return true;

     

       63
       64
        
       }

     

       64
       65
        
       

     

       65
       66
        
       // From nix/src/nix/repl.cc

     

       66
       66
       -
       std::ostream &printStringValue(std::ostream &str, const char *string) {

     

       67
       67
       -
         str << "\"";

     

       68
       68
       -
         for (const char *i = string; *i; i++)

     

       69
       69
       -
           if (*i == '\"' || *i == '\\')

     

       70
       70
       -
             str << "\\" << *i;

     

       71
       71
       -
           else if (*i == '\n')

     

       72
       72
       -
             str << "\\n";

     

       73
       73
       -
           else if (*i == '\r')

     

       74
       74
       -
             str << "\\r";

     

       75
       75
       -
           else if (*i == '\t')

     

       76
       76
       -
             str << "\\t";

     

       77
       77
       -
           else

     

       78
       78
       -
             str << *i;

     

       79
       79
       -
         str << "\"";

     

       80
       80
       -
         return str;

     

       67
       67
       +
       std::ostream & printStringValue(std::ostream & str, const char * string)

     

       68
       68
       +
       {

     

       69
       69
       +
           str << "\"";

     

       70
       70
       +
           for (const char * i = string; *i; i++)

     

       71
       71
       +
               if (*i == '\"' || *i == '\\')

     

       72
       72
       +
                   str << "\\" << *i;

     

       73
       73
       +
               else if (*i == '\n')

     

       74
       74
       +
                   str << "\\n";

     

       75
       75
       +
               else if (*i == '\r')

     

       76
       76
       +
                   str << "\\r";

     

       77
       77
       +
               else if (*i == '\t')

     

       78
       78
       +
                   str << "\\t";

     

       79
       79
       +
               else

     

       80
       80
       +
                   str << *i;

     

       81
       81
       +
           str << "\"";

     

       82
       82
       +
           return str;

     

       81
       83
        
       }

+3 -3

nixos/modules/installer/tools/nixos-option/libnix-copy-paste.hh

···

       4
       4
        
       #include <nix/types.hh>

     

       5
       5
        
       #include <string>

     

       6
       6
        
       

     

       7
       7
       -
       nix::Strings parseAttrPath(const std::string &s);

     

       8
       8
       -
       bool isVarName(const std::string &s);

     

       9
       9
       -
       std::ostream &printStringValue(std::ostream &str, const char *string);

     

       7
       7
       +
       nix::Strings parseAttrPath(const std::string & s);

     

       8
       8
       +
       bool isVarName(const std::string & s);

     

       9
       9
       +
       std::ostream & printStringValue(std::ostream & str, const char * string);

+431 -428

nixos/modules/installer/tools/nixos-option/nixos-option.cc

···

       42
       42
        
       using nix::Value;

     

       43
       43
        
       

     

       44
       44
        
       // An ostream wrapper to handle nested indentation

     

       45
       45
       -
       class Out {

     

       46
       46
       -
       public:

     

       47
       47
       -
         class Separator {};

     

       48
       48
       -
         const static Separator sep;

     

       49
       49
       -
         enum LinePolicy { ONE_LINE, MULTI_LINE };

     

       50
       50
       -
         explicit Out(std::ostream &ostream)

     

       51
       51
       -
             : ostream(ostream), policy(ONE_LINE), write_since_sep(true) {}

     

       52
       52
       -
         Out(Out &o, std::string const &start, std::string const &end,

     

       53
       53
       -
             LinePolicy policy);

     

       54
       54
       -
         Out(Out &o, std::string const &start, std::string const &end, int count)

     

       55
       55
       -
             : Out(o, start, end, count < 2 ? ONE_LINE : MULTI_LINE) {}

     

       56
       56
       -
         Out(Out const &) = delete;

     

       57
       57
       -
         Out(Out &&) = default;

     

       58
       58
       -
         Out &operator=(Out const &) = delete;

     

       59
       59
       -
         Out &operator=(Out &&) = delete;

     

       60
       60
       -
         ~Out() { ostream << end; }

     

       45
       45
       +
       class Out

     

       46
       46
       +
       {

     

       47
       47
       +
         public:

     

       48
       48
       +
           class Separator

     

       49
       49
       +
           {};

     

       50
       50
       +
           const static Separator sep;

     

       51
       51
       +
           enum LinePolicy

     

       52
       52
       +
           {

     

       53
       53
       +
               ONE_LINE,

     

       54
       54
       +
               MULTI_LINE

     

       55
       55
       +
           };

     

       56
       56
       +
           explicit Out(std::ostream & ostream) : ostream(ostream), policy(ONE_LINE), write_since_sep(true) {}

     

       57
       57
       +
           Out(Out & o, std::string const & start, std::string const & end, LinePolicy policy);

     

       58
       58
       +
           Out(Out & o, std::string const & start, std::string const & end, int count)

     

       59
       59
       +
               : Out(o, start, end, count < 2 ? ONE_LINE : MULTI_LINE)

     

       60
       60
       +
           {}

     

       61
       61
       +
           Out(Out const &) = delete;

     

       62
       62
       +
           Out(Out &&) = default;

     

       63
       63
       +
           Out & operator=(Out const &) = delete;

     

       64
       64
       +
           Out & operator=(Out &&) = delete;

     

       65
       65
       +
           ~Out() { ostream << end; }

     

       61
       66
        
       

     

       62
       62
       -
       private:

     

       63
       63
       -
         std::ostream &ostream;

     

       64
       64
       -
         std::string indentation;

     

       65
       65
       -
         std::string end;

     

       66
       66
       -
         LinePolicy policy;

     

       67
       67
       -
         bool write_since_sep;

     

       68
       68
       -
         template <typename T> friend Out &operator<<(Out &o, T thing);

     

       67
       67
       +
         private:

     

       68
       68
       +
           std::ostream & ostream;

     

       69
       69
       +
           std::string indentation;

     

       70
       70
       +
           std::string end;

     

       71
       71
       +
           LinePolicy policy;

     

       72
       72
       +
           bool write_since_sep;

     

       73
       73
       +
           template <typename T> friend Out & operator<<(Out & o, T thing);

     

       69
       74
        
       };

     

       70
       75
        
       

     

       71
       71
       -
       template <typename T> Out &operator<<(Out &o, T thing) {

     

       72
       72
       -
         if (!o.write_since_sep && o.policy == Out::MULTI_LINE) {

     

       73
       73
       -
           o.ostream << o.indentation;

     

       74
       74
       -
         }

     

       75
       75
       -
         o.write_since_sep = true;

     

       76
       76
       -
         o.ostream << thing;

     

       77
       77
       -
         return o;

     

       76
       76
       +
       template <typename T> Out & operator<<(Out & o, T thing)

     

       77
       77
       +
       {

     

       78
       78
       +
           if (!o.write_since_sep && o.policy == Out::MULTI_LINE) {

     

       79
       79
       +
               o.ostream << o.indentation;

     

       80
       80
       +
           }

     

       81
       81
       +
           o.write_since_sep = true;

     

       82
       82
       +
           o.ostream << thing;

     

       83
       83
       +
           return o;

     

       78
       84
        
       }

     

       79
       85
        
       

     

       80
       80
       -
       template <>

     

       81
       81
       -
       Out &operator<<<Out::Separator>(Out &o, Out::Separator /* thing */) {

     

       82
       82
       -
         o.ostream << (o.policy == Out::ONE_LINE ? " " : "\n");

     

       83
       83
       -
         o.write_since_sep = false;

     

       84
       84
       -
         return o;

     

       86
       86
       +
       template <> Out & operator<<<Out::Separator>(Out & o, Out::Separator /* thing */)

     

       87
       87
       +
       {

     

       88
       88
       +
           o.ostream << (o.policy == Out::ONE_LINE ? " " : "\n");

     

       89
       89
       +
           o.write_since_sep = false;

     

       90
       90
       +
           return o;

     

       85
       91
        
       }

     

       86
       92
        
       

     

       87
       87
       -
       Out::Out(Out &o, std::string const &start, std::string const &end,

     

       88
       88
       -
                LinePolicy policy)

     

       89
       89
       -
           : ostream(o.ostream),

     

       90
       90
       -
             indentation(policy == ONE_LINE ? o.indentation : o.indentation + "  "),

     

       91
       91
       -
             end(policy == ONE_LINE ? end : o.indentation + end), policy(policy),

     

       92
       92
       -
             write_since_sep(true) {

     

       93
       93
       -
         o << start;

     

       94
       94
       -
         *this << Out::sep;

     

       93
       93
       +
       Out::Out(Out & o, std::string const & start, std::string const & end, LinePolicy policy)

     

       94
       94
       +
           : ostream(o.ostream), indentation(policy == ONE_LINE ? o.indentation : o.indentation + "  "),

     

       95
       95
       +
             end(policy == ONE_LINE ? end : o.indentation + end), policy(policy), write_since_sep(true)

     

       96
       96
       +
       {

     

       97
       97
       +
           o << start;

     

       98
       98
       +
           *this << Out::sep;

     

       95
       99
        
       }

     

       96
       100
        
       

     

       97
       101
        
       // Stuff needed for evaluation

     

       98
       98
       -
       struct Context {

     

       99
       99
       -
         Context(EvalState *state, Bindings *autoArgs, Value options_root,

     

       100
       100
       -
                 Value config_root)

     

       101
       101
       -
             : state(state), autoArgs(autoArgs), options_root(options_root),

     

       102
       102
       -
               config_root(config_root),

     

       103
       103
       -
               underscore_type(state->symbols.create("_type")) {}

     

       104
       104
       -
         EvalState *state;

     

       105
       105
       -
         Bindings *autoArgs;

     

       106
       106
       -
         Value options_root;

     

       107
       107
       -
         Value config_root;

     

       108
       108
       -
         Symbol underscore_type;

     

       102
       102
       +
       struct Context

     

       103
       103
       +
       {

     

       104
       104
       +
           Context(EvalState * state, Bindings * autoArgs, Value options_root, Value config_root)

     

       105
       105
       +
               : state(state), autoArgs(autoArgs), options_root(options_root), config_root(config_root),

     

       106
       106
       +
                 underscore_type(state->symbols.create("_type"))

     

       107
       107
       +
           {}

     

       108
       108
       +
           EvalState * state;

     

       109
       109
       +
           Bindings * autoArgs;

     

       110
       110
       +
           Value options_root;

     

       111
       111
       +
           Value config_root;

     

       112
       112
       +
           Symbol underscore_type;

     

       109
       113
        
       };

     

       110
       114
        
       

     

       111
       111
       -
       Value evaluateValue(Context *ctx, Value *v) {

     

       112
       112
       -
         ctx->state->forceValue(*v);

     

       113
       113
       -
         if (ctx->autoArgs->empty()) {

     

       114
       114
       -
           return *v;

     

       115
       115
       -
         }

     

       116
       116
       -
         Value called{};

     

       117
       117
       -
         ctx->state->autoCallFunction(*ctx->autoArgs, *v, called);

     

       118
       118
       -
         return called;

     

       115
       115
       +
       Value evaluateValue(Context * ctx, Value * v)

     

       116
       116
       +
       {

     

       117
       117
       +
           ctx->state->forceValue(*v);

     

       118
       118
       +
           if (ctx->autoArgs->empty()) {

     

       119
       119
       +
               return *v;

     

       120
       120
       +
           }

     

       121
       121
       +
           Value called{};

     

       122
       122
       +
           ctx->state->autoCallFunction(*ctx->autoArgs, *v, called);

     

       123
       123
       +
           return called;

     

       119
       124
        
       }

     

       120
       125
        
       

     

       121
       121
       -
       bool isOption(Context *ctx, Value const &v) {

     

       122
       122
       -
         if (v.type != tAttrs) {

     

       123
       123
       -
           return false;

     

       124
       124
       -
         }

     

       125
       125
       -
         auto const &actual_type = v.attrs->find(ctx->underscore_type);

     

       126
       126
       -
         if (actual_type == v.attrs->end()) {

     

       127
       127
       -
           return false;

     

       128
       128
       -
         }

     

       129
       129
       -
         try {

     

       130
       130
       -
           Value evaluated_type = evaluateValue(ctx, actual_type->value);

     

       131
       131
       -
           if (evaluated_type.type != tString) {

     

       132
       132
       -
             return false;

     

       126
       126
       +
       bool isOption(Context * ctx, Value const & v)

     

       127
       127
       +
       {

     

       128
       128
       +
           if (v.type != tAttrs) {

     

       129
       129
       +
               return false;

     

       130
       130
       +
           }

     

       131
       131
       +
           auto const & actual_type = v.attrs->find(ctx->underscore_type);

     

       132
       132
       +
           if (actual_type == v.attrs->end()) {

     

       133
       133
       +
               return false;

     

       134
       134
       +
           }

     

       135
       135
       +
           try {

     

       136
       136
       +
               Value evaluated_type = evaluateValue(ctx, actual_type->value);

     

       137
       137
       +
               if (evaluated_type.type != tString) {

     

       138
       138
       +
                   return false;

     

       139
       139
       +
               }

     

       140
       140
       +
               return evaluated_type.string.s == static_cast<std::string>("option");

     

       141
       141
       +
           } catch (Error &) {

     

       142
       142
       +
               return false;

     

       133
       143
        
           }

     

       134
       134
       -
           return evaluated_type.string.s == static_cast<std::string>("option");

     

       135
       135
       -
         } catch (Error &) {

     

       136
       136
       -
           return false;

     

       137
       137
       -
         }

     

       138
       144
        
       }

     

       139
       145
        
       

     

       140
       146
        
       // Add quotes to a component of a path.

     

       141
       147
        
       // These are needed for paths like:

     

       142
       148
        
       //    fileSystems."/".fsType

     

       143
       149
        
       //    systemd.units."dbus.service".text

     

       144
       144
       -
       std::string quoteAttribute(std::string const &attribute) {

     

       145
       145
       -
         if (isVarName(attribute)) {

     

       146
       146
       -
           return attribute;

     

       147
       147
       -
         }

     

       148
       148
       -
         std::ostringstream buf;

     

       149
       149
       -
         printStringValue(buf, attribute.c_str());

     

       150
       150
       -
         return buf.str();

     

       150
       150
       +
       std::string quoteAttribute(std::string const & attribute)

     

       151
       151
       +
       {

     

       152
       152
       +
           if (isVarName(attribute)) {

     

       153
       153
       +
               return attribute;

     

       154
       154
       +
           }

     

       155
       155
       +
           std::ostringstream buf;

     

       156
       156
       +
           printStringValue(buf, attribute.c_str());

     

       157
       157
       +
           return buf.str();

     

       151
       158
        
       }

     

       152
       159
        
       

     

       153
       153
       -
       std::string const appendPath(std::string const &prefix,

     

       154
       154
       -
                                    std::string const &suffix) {

     

       155
       155
       -
         if (prefix.empty()) {

     

       156
       156
       -
           return quoteAttribute(suffix);

     

       157
       157
       -
         }

     

       158
       158
       -
         return prefix + "." + quoteAttribute(suffix);

     

       160
       160
       +
       std::string const appendPath(std::string const & prefix, std::string const & suffix)

     

       161
       161
       +
       {

     

       162
       162
       +
           if (prefix.empty()) {

     

       163
       163
       +
               return quoteAttribute(suffix);

     

       164
       164
       +
           }

     

       165
       165
       +
           return prefix + "." + quoteAttribute(suffix);

     

       159
       166
        
       }

     

       160
       167
        
       

     

       161
       161
       -
       bool forbiddenRecursionName(std::string name) {

     

       162
       162
       -
         return (!name.empty() && name[0] == '_') || name == "haskellPackages";

     

       163
       163
       -
       }

     

       168
       168
       +
       bool forbiddenRecursionName(std::string name) { return (!name.empty() && name[0] == '_') || name == "haskellPackages"; }

     

       164
       169
        
       

     

       165
       165
       -
       void recurse(const std::function<bool(std::string const &path,

     

       166
       166
       -
                                             std::variant<Value, Error>)> &f,

     

       167
       167
       -
                    Context *ctx, Value v, std::string const &path) {

     

       168
       168
       -
         std::variant<Value, Error> evaluated;

     

       169
       169
       -
         try {

     

       170
       170
       -
           evaluated = evaluateValue(ctx, &v);

     

       171
       171
       -
         } catch (Error &e) {

     

       172
       172
       -
           evaluated = e;

     

       173
       173
       -
         }

     

       174
       174
       -
         if (!f(path, evaluated)) {

     

       175
       175
       -
           return;

     

       176
       176
       -
         }

     

       177
       177
       -
         if (std::holds_alternative<Error>(evaluated)) {

     

       178
       178
       -
           return;

     

       179
       179
       -
         }

     

       180
       180
       -
         Value const &evaluated_value = std::get<Value>(evaluated);

     

       181
       181
       -
         if (evaluated_value.type != tAttrs) {

     

       182
       182
       -
           return;

     

       183
       183
       -
         }

     

       184
       184
       -
         for (auto const &child : evaluated_value.attrs->lexicographicOrder()) {

     

       185
       185
       -
           if (forbiddenRecursionName(child->name)) {

     

       186
       186
       -
             continue;

     

       170
       170
       +
       void recurse(const std::function<bool(std::string const & path, std::variant<Value, Error>)> & f, Context * ctx,

     

       171
       171
       +
                    Value v, std::string const & path)

     

       172
       172
       +
       {

     

       173
       173
       +
           std::variant<Value, Error> evaluated;

     

       174
       174
       +
           try {

     

       175
       175
       +
               evaluated = evaluateValue(ctx, &v);

     

       176
       176
       +
           } catch (Error & e) {

     

       177
       177
       +
               evaluated = e;

     

       178
       178
       +
           }

     

       179
       179
       +
           if (!f(path, evaluated)) {

     

       180
       180
       +
               return;

     

       181
       181
       +
           }

     

       182
       182
       +
           if (std::holds_alternative<Error>(evaluated)) {

     

       183
       183
       +
               return;

     

       187
       184
        
           }

     

       188
       188
       -
           recurse(f, ctx, *child->value, appendPath(path, child->name));

     

       189
       189
       -
         }

     

       185
       185
       +
           Value const & evaluated_value = std::get<Value>(evaluated);

     

       186
       186
       +
           if (evaluated_value.type != tAttrs) {

     

       187
       187
       +
               return;

     

       188
       188
       +
           }

     

       189
       189
       +
           for (auto const & child : evaluated_value.attrs->lexicographicOrder()) {

     

       190
       190
       +
               if (forbiddenRecursionName(child->name)) {

     

       191
       191
       +
                   continue;

     

       192
       192
       +
               }

     

       193
       193
       +
               recurse(f, ctx, *child->value, appendPath(path, child->name));

     

       194
       194
       +
           }

     

       190
       195
        
       }

     

       191
       196
        
       

     

       192
       197
        
       // Calls f on all the option names

     

       193
       193
       -
       void mapOptions(const std::function<void(std::string const &path)> &f,

     

       194
       194
       -
                       Context *ctx, Value root) {

     

       195
       195
       -
         recurse(

     

       196
       196
       -
             [f, ctx](std::string const &path, std::variant<Value, Error> v) {

     

       197
       197
       -
               bool isOpt = std::holds_alternative<Error>(v) ||

     

       198
       198
       -
                            isOption(ctx, std::get<Value>(v));

     

       199
       199
       -
               if (isOpt) {

     

       200
       200
       -
                 f(path);

     

       201
       201
       -
               }

     

       202
       202
       -
               return !isOpt;

     

       203
       203
       -
             },

     

       204
       204
       -
             ctx, root, "");

     

       198
       198
       +
       void mapOptions(const std::function<void(std::string const & path)> & f, Context * ctx, Value root)

     

       199
       199
       +
       {

     

       200
       200
       +
           recurse(

     

       201
       201
       +
               [f, ctx](std::string const & path, std::variant<Value, Error> v) {

     

       202
       202
       +
                   bool isOpt = std::holds_alternative<Error>(v) || isOption(ctx, std::get<Value>(v));

     

       203
       203
       +
                   if (isOpt) {

     

       204
       204
       +
                       f(path);

     

       205
       205
       +
                   }

     

       206
       206
       +
                   return !isOpt;

     

       207
       207
       +
               },

     

       208
       208
       +
               ctx, root, "");

     

       205
       209
        
       }

     

       206
       210
        
       

     

       207
       211
        
       // Calls f on all the config values inside one option.

     
···

       225
       229
        
       //   users.users.nixbld1 = ... .. ...

     

       226
       230
        
       //   ...

     

       227
       231
        
       //   users.users.systemd-timesync = ... .. ...

     

       228
       228
       -
       void mapConfigValuesInOption(

     

       229
       229
       -
           const std::function<void(std::string const &path,

     

       230
       230
       -
                                    std::variant<Value, Error> v)> &f,

     

       231
       231
       -
           std::string const &path, Context *ctx) {

     

       232
       232
       -
         Value *option;

     

       233
       233
       -
         try {

     

       234
       234
       -
           option =

     

       235
       235
       -
               findAlongAttrPath(*ctx->state, path, *ctx->autoArgs, ctx->config_root);

     

       236
       236
       -
         } catch (Error &e) {

     

       237
       237
       -
           f(path, e);

     

       238
       238
       -
           return;

     

       239
       239
       -
         }

     

       240
       240
       -
         recurse(

     

       241
       241
       -
             [f, ctx](std::string const &path, std::variant<Value, Error> v) {

     

       242
       242
       -
               bool leaf = std::holds_alternative<Error>(v) ||

     

       243
       243
       -
                           std::get<Value>(v).type != tAttrs ||

     

       244
       244
       -
                           ctx->state->isDerivation(std::get<Value>(v));

     

       245
       245
       -
               if (!leaf) {

     

       246
       246
       -
                 return true; // Keep digging

     

       247
       247
       -
               }

     

       248
       248
       -
               f(path, v);

     

       249
       249
       -
               return false;

     

       250
       250
       -
             },

     

       251
       251
       -
             ctx, *option, path);

     

       232
       232
       +
       void mapConfigValuesInOption(const std::function<void(std::string const & path, std::variant<Value, Error> v)> & f,

     

       233
       233
       +
                                    std::string const & path, Context * ctx)

     

       234
       234
       +
       {

     

       235
       235
       +
           Value * option;

     

       236
       236
       +
           try {

     

       237
       237
       +
               option = findAlongAttrPath(*ctx->state, path, *ctx->autoArgs, ctx->config_root);

     

       238
       238
       +
           } catch (Error & e) {

     

       239
       239
       +
               f(path, e);

     

       240
       240
       +
               return;

     

       241
       241
       +
           }

     

       242
       242
       +
           recurse(

     

       243
       243
       +
               [f, ctx](std::string const & path, std::variant<Value, Error> v) {

     

       244
       244
       +
                   bool leaf = std::holds_alternative<Error>(v) || std::get<Value>(v).type != tAttrs ||

     

       245
       245
       +
                               ctx->state->isDerivation(std::get<Value>(v));

     

       246
       246
       +
                   if (!leaf) {

     

       247
       247
       +
                       return true; // Keep digging

     

       248
       248
       +
                   }

     

       249
       249
       +
                   f(path, v);

     

       250
       250
       +
                   return false;

     

       251
       251
       +
               },

     

       252
       252
       +
               ctx, *option, path);

     

       252
       253
        
       }

     

       253
       254
        
       

     

       254
       254
       -
       std::string describeError(Error const &e) { return "«error: " + e.msg() + "»"; }

     

       255
       255
       +
       std::string describeError(Error const & e) { return "«error: " + e.msg() + "»"; }

     

       255
       256
        
       

     

       256
       256
       -
       void describeDerivation(Context *ctx, Out &out, Value v) {

     

       257
       257
       -
         // Copy-pasted from nix/src/nix/repl.cc  :(

     

       258
       258
       -
         Bindings::iterator i = v.attrs->find(ctx->state->sDrvPath);

     

       259
       259
       -
         PathSet pathset;

     

       260
       260
       -
         try {

     

       261
       261
       -
           Path drvPath = i != v.attrs->end()

     

       262
       262
       -
                              ? ctx->state->coerceToPath(*i->pos, *i->value, pathset)

     

       263
       263
       -
                              : "???";

     

       264
       264
       -
           out << "«derivation " << drvPath << "»";

     

       265
       265
       -
         } catch (Error &e) {

     

       266
       266
       -
           out << describeError(e);

     

       267
       267
       -
         }

     

       257
       257
       +
       void describeDerivation(Context * ctx, Out & out, Value v)

     

       258
       258
       +
       {

     

       259
       259
       +
           // Copy-pasted from nix/src/nix/repl.cc  :(

     

       260
       260
       +
           Bindings::iterator i = v.attrs->find(ctx->state->sDrvPath);

     

       261
       261
       +
           PathSet pathset;

     

       262
       262
       +
           try {

     

       263
       263
       +
               Path drvPath = i != v.attrs->end() ? ctx->state->coerceToPath(*i->pos, *i->value, pathset) : "???";

     

       264
       264
       +
               out << "«derivation " << drvPath << "»";

     

       265
       265
       +
           } catch (Error & e) {

     

       266
       266
       +
               out << describeError(e);

     

       267
       267
       +
           }

     

       268
       268
        
       }

     

       269
       269
        
       

     

       270
       270
       -
       Value parseAndEval(EvalState *state, std::string const &expression,

     

       271
       271
       -
                          std::string const &path) {

     

       272
       272
       -
         Value v{};

     

       273
       273
       -
         state->eval(state->parseExprFromString(expression, absPath(path)), v);

     

       274
       274
       -
         return v;

     

       270
       270
       +
       Value parseAndEval(EvalState * state, std::string const & expression, std::string const & path)

     

       271
       271
       +
       {

     

       272
       272
       +
           Value v{};

     

       273
       273
       +
           state->eval(state->parseExprFromString(expression, absPath(path)), v);

     

       274
       274
       +
           return v;

     

       275
       275
        
       }

     

       276
       276
        
       

     

       277
       277
       -
       void printValue(Context *ctx, Out &out, std::variant<Value, Error> maybe_value,

     

       278
       278
       -
                       std::string const &path);

     

       277
       277
       +
       void printValue(Context * ctx, Out & out, std::variant<Value, Error> maybe_value, std::string const & path);

     

       279
       278
        
       

     

       280
       280
       -
       void printUnsortedList(Context *ctx, Out &out, Value &v) {

     

       281
       281
       -
         Out list_out(out, "[", "]", v.listSize());

     

       282
       282
       -
         for (unsigned int n = 0; n < v.listSize(); ++n) {

     

       283
       283
       -
           printValue(ctx, list_out, *v.listElems()[n], "");

     

       284
       284
       -
           list_out << Out::sep;

     

       285
       285
       -
         }

     

       279
       279
       +
       void printUnsortedList(Context * ctx, Out & out, Value & v)

     

       280
       280
       +
       {

     

       281
       281
       +
           Out list_out(out, "[", "]", v.listSize());

     

       282
       282
       +
           for (unsigned int n = 0; n < v.listSize(); ++n) {

     

       283
       283
       +
               printValue(ctx, list_out, *v.listElems()[n], "");

     

       284
       284
       +
               list_out << Out::sep;

     

       285
       285
       +
           }

     

       286
       286
        
       }

     

       287
       287
        
       

     

       288
       288
       -
       void printSortedList(Context *ctx, Out &out, Value &v) {

     

       289
       289
       -
         std::vector<std::string> results;

     

       290
       290
       -
         for (unsigned int n = 0; n < v.listSize(); ++n) {

     

       291
       291
       -
           std::ostringstream buf;

     

       292
       292
       -
           Out buf_out(buf);

     

       293
       293
       -
           printValue(ctx, buf_out, *v.listElems()[n], "");

     

       294
       294
       -
           results.push_back(buf.str());

     

       295
       295
       -
         }

     

       296
       296
       -
         std::sort(results.begin(), results.end());

     

       297
       297
       -
         Out list_out(out, "[", "]", v.listSize());

     

       298
       298
       -
         for (auto const &v : results) {

     

       299
       299
       -
           list_out << v << Out::sep;

     

       300
       300
       -
         }

     

       288
       288
       +
       void printSortedList(Context * ctx, Out & out, Value & v)

     

       289
       289
       +
       {

     

       290
       290
       +
           std::vector<std::string> results;

     

       291
       291
       +
           for (unsigned int n = 0; n < v.listSize(); ++n) {

     

       292
       292
       +
               std::ostringstream buf;

     

       293
       293
       +
               Out buf_out(buf);

     

       294
       294
       +
               printValue(ctx, buf_out, *v.listElems()[n], "");

     

       295
       295
       +
               results.push_back(buf.str());

     

       296
       296
       +
           }

     

       297
       297
       +
           std::sort(results.begin(), results.end());

     

       298
       298
       +
           Out list_out(out, "[", "]", v.listSize());

     

       299
       299
       +
           for (auto const & v : results) {

     

       300
       300
       +
               list_out << v << Out::sep;

     

       301
       301
       +
           }

     

       301
       302
        
       }

     

       302
       303
        
       

     

       303
       303
       -
       bool shouldSort(Context *ctx, Value &v) {

     

       304
       304
       -
         // Some lists should clearly be printed in sorted order, like

     

       305
       305
       -
         // environment.systemPackages.  Some clearly should not, like

     

       306
       306
       -
         // services.xserver.multitouch.buttonsMap.  As a conservative heuristic, sort

     

       307
       307
       -
         // lists of derivations.

     

       308
       308
       -
         return v.listSize() > 0 && ctx->state->isDerivation(*v.listElems()[0]);

     

       304
       304
       +
       bool shouldSort(Context * ctx, Value & v)

     

       305
       305
       +
       {

     

       306
       306
       +
           // Some lists should clearly be printed in sorted order, like

     

       307
       307
       +
           // environment.systemPackages.  Some clearly should not, like

     

       308
       308
       +
           // services.xserver.multitouch.buttonsMap.  As a conservative heuristic, sort

     

       309
       309
       +
           // lists of derivations.

     

       310
       310
       +
           return v.listSize() > 0 && ctx->state->isDerivation(*v.listElems()[0]);

     

       309
       311
        
       }

     

       310
       312
        
       

     

       311
       311
       -
       void printList(Context *ctx, Out &out, Value &v) {

     

       312
       312
       -
         if (shouldSort(ctx, v)) {

     

       313
       313
       -
           printSortedList(ctx, out, v);

     

       314
       314
       -
         } else {

     

       315
       315
       -
           printUnsortedList(ctx, out, v);

     

       316
       316
       -
         }

     

       313
       313
       +
       void printList(Context * ctx, Out & out, Value & v)

     

       314
       314
       +
       {

     

       315
       315
       +
           if (shouldSort(ctx, v)) {

     

       316
       316
       +
               printSortedList(ctx, out, v);

     

       317
       317
       +
           } else {

     

       318
       318
       +
               printUnsortedList(ctx, out, v);

     

       319
       319
       +
           }

     

       317
       320
        
       }

     

       318
       321
        
       

     

       319
       319
       -
       void printAttrs(Context *ctx, Out &out, Value &v, std::string const &path) {

     

       320
       320
       -
         Out attrs_out(out, "{", "}", v.attrs->size());

     

       321
       321
       -
         for (const auto &a : v.attrs->lexicographicOrder()) {

     

       322
       322
       -
           std::string name = a->name;

     

       323
       323
       -
           attrs_out << name << " = ";

     

       324
       324
       -
           printValue(ctx, attrs_out, *a->value, appendPath(path, name));

     

       325
       325
       -
           attrs_out << ";" << Out::sep;

     

       326
       326
       -
         }

     

       322
       322
       +
       void printAttrs(Context * ctx, Out & out, Value & v, std::string const & path)

     

       323
       323
       +
       {

     

       324
       324
       +
           Out attrs_out(out, "{", "}", v.attrs->size());

     

       325
       325
       +
           for (const auto & a : v.attrs->lexicographicOrder()) {

     

       326
       326
       +
               std::string name = a->name;

     

       327
       327
       +
               attrs_out << name << " = ";

     

       328
       328
       +
               printValue(ctx, attrs_out, *a->value, appendPath(path, name));

     

       329
       329
       +
               attrs_out << ";" << Out::sep;

     

       330
       330
       +
           }

     

       327
       331
        
       }

     

       328
       332
        
       

     

       329
       329
       -
       void multiLineStringEscape(Out &out, std::string const &s) {

     

       330
       330
       -
         int i;

     

       331
       331
       -
         for (i = 1; i < s.size(); i++) {

     

       332
       332
       -
           if (s[i - 1] == '$' && s[i] == '{') {

     

       333
       333
       -
             out << "''${";

     

       334
       334
       -
             i++;

     

       335
       335
       -
           } else if (s[i - 1] == '\'' && s[i] == '\'') {

     

       336
       336
       -
             out << "'''";

     

       337
       337
       -
             i++;

     

       338
       338
       -
           } else {

     

       339
       339
       -
             out << s[i - 1];

     

       333
       333
       +
       void multiLineStringEscape(Out & out, std::string const & s)

     

       334
       334
       +
       {

     

       335
       335
       +
           int i;

     

       336
       336
       +
           for (i = 1; i < s.size(); i++) {

     

       337
       337
       +
               if (s[i - 1] == '$' && s[i] == '{') {

     

       338
       338
       +
                   out << "''${";

     

       339
       339
       +
                   i++;

     

       340
       340
       +
               } else if (s[i - 1] == '\'' && s[i] == '\'') {

     

       341
       341
       +
                   out << "'''";

     

       342
       342
       +
                   i++;

     

       343
       343
       +
               } else {

     

       344
       344
       +
                   out << s[i - 1];

     

       345
       345
       +
               }

     

       340
       346
        
           }

     

       341
       341
       -
         }

     

       342
       342
       -
         if (i == s.size()) {

     

       343
       343
       -
           out << s[i - 1];

     

       344
       344
       -
         }

     

       347
       347
       +
           if (i == s.size()) {

     

       348
       348
       +
               out << s[i - 1];

     

       349
       349
       +
           }

     

       345
       350
        
       }

     

       346
       351
        
       

     

       347
       347
       -
       void printMultiLineString(Out &out, Value const &v) {

     

       348
       348
       -
         std::string s = v.string.s;

     

       349
       349
       -
         Out str_out(out, "''", "''", Out::MULTI_LINE);

     

       350
       350
       -
         std::string::size_type begin = 0;

     

       351
       351
       -
         while (begin < s.size()) {

     

       352
       352
       -
           std::string::size_type end = s.find('\n', begin);

     

       353
       353
       -
           if (end == std::string::npos) {

     

       354
       354
       -
             multiLineStringEscape(str_out, s.substr(begin, s.size() - begin));

     

       355
       355
       -
             break;

     

       352
       352
       +
       void printMultiLineString(Out & out, Value const & v)

     

       353
       353
       +
       {

     

       354
       354
       +
           std::string s = v.string.s;

     

       355
       355
       +
           Out str_out(out, "''", "''", Out::MULTI_LINE);

     

       356
       356
       +
           std::string::size_type begin = 0;

     

       357
       357
       +
           while (begin < s.size()) {

     

       358
       358
       +
               std::string::size_type end = s.find('\n', begin);

     

       359
       359
       +
               if (end == std::string::npos) {

     

       360
       360
       +
                   multiLineStringEscape(str_out, s.substr(begin, s.size() - begin));

     

       361
       361
       +
                   break;

     

       362
       362
       +
               }

     

       363
       363
       +
               multiLineStringEscape(str_out, s.substr(begin, end - begin));

     

       364
       364
       +
               str_out << Out::sep;

     

       365
       365
       +
               begin = end + 1;

     

       356
       366
        
           }

     

       357
       357
       -
           multiLineStringEscape(str_out, s.substr(begin, end - begin));

     

       358
       358
       -
           str_out << Out::sep;

     

       359
       359
       -
           begin = end + 1;

     

       360
       360
       -
         }

     

       361
       367
        
       }

     

       362
       368
        
       

     

       363
       363
       -
       void printValue(Context *ctx, Out &out, std::variant<Value, Error> maybe_value,

     

       364
       364
       -
                       std::string const &path) {

     

       365
       365
       -
         try {

     

       366
       366
       -
           if (std::holds_alternative<Error>(maybe_value)) {

     

       367
       367
       -
             throw Error{std::get<Error>(maybe_value)};

     

       369
       369
       +
       void printValue(Context * ctx, Out & out, std::variant<Value, Error> maybe_value, std::string const & path)

     

       370
       370
       +
       {

     

       371
       371
       +
           try {

     

       372
       372
       +
               if (std::holds_alternative<Error>(maybe_value)) {

     

       373
       373
       +
                   throw Error{std::get<Error>(maybe_value)};

     

       374
       374
       +
               }

     

       375
       375
       +
               Value v = evaluateValue(ctx, &std::get<Value>(maybe_value));

     

       376
       376
       +
               if (ctx->state->isDerivation(v)) {

     

       377
       377
       +
                   describeDerivation(ctx, out, v);

     

       378
       378
       +
               } else if (v.isList()) {

     

       379
       379
       +
                   printList(ctx, out, v);

     

       380
       380
       +
               } else if (v.type == tAttrs) {

     

       381
       381
       +
                   printAttrs(ctx, out, v, path);

     

       382
       382
       +
               } else if (v.type == tString && std::string(v.string.s).find('\n') != std::string::npos) {

     

       383
       383
       +
                   printMultiLineString(out, v);

     

       384
       384
       +
               } else {

     

       385
       385
       +
                   ctx->state->forceValueDeep(v);

     

       386
       386
       +
                   out << v;

     

       387
       387
       +
               }

     

       388
       388
       +
           } catch (Error & e) {

     

       389
       389
       +
               if (e.msg() == "The option `" + path + "' is used but not defined.") {

     

       390
       390
       +
                   // 93% of errors are this, and just letting this message through would be

     

       391
       391
       +
                   // misleading.  These values may or may not actually be "used" in the

     

       392
       392
       +
                   // config.  The thing throwing the error message assumes that if anything

     

       393
       393
       +
                   // ever looks at this value, it is a "use" of this value.  But here in

     

       394
       394
       +
                   // nixos-option, we are looking at this value only to print it.

     

       395
       395
       +
                   // In order to avoid implying that this undefined value is actually

     

       396
       396
       +
                   // referenced, eat the underlying error message and emit "«not defined»".

     

       397
       397
       +
                   out << "«not defined»";

     

       398
       398
       +
               } else {

     

       399
       399
       +
                   out << describeError(e);

     

       400
       400
       +
               }

     

       368
       401
        
           }

     

       369
       369
       -
           Value v = evaluateValue(ctx, &std::get<Value>(maybe_value));

     

       370
       370
       -
           if (ctx->state->isDerivation(v)) {

     

       371
       371
       -
             describeDerivation(ctx, out, v);

     

       372
       372
       -
           } else if (v.isList()) {

     

       373
       373
       -
             printList(ctx, out, v);

     

       374
       374
       -
           } else if (v.type == tAttrs) {

     

       375
       375
       -
             printAttrs(ctx, out, v, path);

     

       376
       376
       -
           } else if (v.type == tString &&

     

       377
       377
       -
                      std::string(v.string.s).find('\n') != std::string::npos) {

     

       378
       378
       -
             printMultiLineString(out, v);

     

       379
       379
       -
           } else {

     

       380
       380
       -
             ctx->state->forceValueDeep(v);

     

       381
       381
       -
             out << v;

     

       382
       382
       -
           }

     

       383
       383
       -
         } catch (Error &e) {

     

       384
       384
       -
           if (e.msg() == "The option `" + path + "' is used but not defined.") {

     

       385
       385
       -
             // 93% of errors are this, and just letting this message through would be

     

       386
       386
       -
             // misleading.  These values may or may not actually be "used" in the

     

       387
       387
       -
             // config.  The thing throwing the error message assumes that if anything

     

       388
       388
       -
             // ever looks at this value, it is a "use" of this value.  But here in

     

       389
       389
       -
             // nixos-option, we are looking at this value only to print it.

     

       390
       390
       -
             // In order to avoid implying that this undefined value is actually

     

       391
       391
       -
             // referenced, eat the underlying error message and emit "«not defined»".

     

       392
       392
       -
             out << "«not defined»";

     

       393
       393
       -
           } else {

     

       394
       394
       -
             out << describeError(e);

     

       395
       395
       -
           }

     

       396
       396
       -
         }

     

       397
       402
        
       }

     

       398
       403
        
       

     

       399
       399
       -
       void printConfigValue(Context *ctx, Out &out, std::string const &path,

     

       400
       400
       -
                             std::variant<Value, Error> v) {

     

       401
       401
       -
         out << path << " = ";

     

       402
       402
       -
         printValue(ctx, out, std::move(v), path);

     

       403
       403
       -
         out << ";\n";

     

       404
       404
       +
       void printConfigValue(Context * ctx, Out & out, std::string const & path, std::variant<Value, Error> v)

     

       405
       405
       +
       {

     

       406
       406
       +
           out << path << " = ";

     

       407
       407
       +
           printValue(ctx, out, std::move(v), path);

     

       408
       408
       +
           out << ";\n";

     

       404
       409
        
       }

     

       405
       410
        
       

     

       406
       406
       -
       void printAll(Context *ctx, Out &out) {

     

       407
       407
       -
         mapOptions(

     

       408
       408
       -
             [ctx, &out](std::string const &option_path) {

     

       409
       409
       -
               mapConfigValuesInOption(

     

       410
       410
       -
                   [ctx, &out](std::string const &config_path,

     

       411
       411
       -
                               std::variant<Value, Error> v) {

     

       412
       412
       -
                     printConfigValue(ctx, out, config_path, v);

     

       413
       413
       -
                   },

     

       414
       414
       -
                   option_path, ctx);

     

       415
       415
       -
             },

     

       416
       416
       -
             ctx, ctx->options_root);

     

       411
       411
       +
       void printAll(Context * ctx, Out & out)

     

       412
       412
       +
       {

     

       413
       413
       +
           mapOptions(

     

       414
       414
       +
               [ctx, &out](std::string const & option_path) {

     

       415
       415
       +
                   mapConfigValuesInOption(

     

       416
       416
       +
                       [ctx, &out](std::string const & config_path, std::variant<Value, Error> v) {

     

       417
       417
       +
                           printConfigValue(ctx, out, config_path, v);

     

       418
       418
       +
                       },

     

       419
       419
       +
                       option_path, ctx);

     

       420
       420
       +
               },

     

       421
       421
       +
               ctx, ctx->options_root);

     

       417
       422
        
       }

     

       418
       423
        
       

     

       419
       419
       -
       void printAttr(Context *ctx, Out &out, std::string const &path, Value *root) {

     

       420
       420
       -
         try {

     

       421
       421
       -
           printValue(ctx, out,

     

       422
       422
       -
                      *findAlongAttrPath(*ctx->state, path, *ctx->autoArgs, *root),

     

       423
       423
       -
                      path);

     

       424
       424
       -
         } catch (Error &e) {

     

       425
       425
       -
           out << describeError(e);

     

       426
       426
       -
         }

     

       424
       424
       +
       void printAttr(Context * ctx, Out & out, std::string const & path, Value * root)

     

       425
       425
       +
       {

     

       426
       426
       +
           try {

     

       427
       427
       +
               printValue(ctx, out, *findAlongAttrPath(*ctx->state, path, *ctx->autoArgs, *root), path);

     

       428
       428
       +
           } catch (Error & e) {

     

       429
       429
       +
               out << describeError(e);

     

       430
       430
       +
           }

     

       427
       431
        
       }

     

       428
       432
        
       

     

       429
       429
       -
       void printOption(Context *ctx, Out &out, std::string const &path,

     

       430
       430
       -
                        Value *option) {

     

       431
       431
       -
         out << "Value:\n";

     

       432
       432
       -
         printAttr(ctx, out, path, &ctx->config_root);

     

       433
       433
       +
       void printOption(Context * ctx, Out & out, std::string const & path, Value * option)

     

       434
       434
       +
       {

     

       435
       435
       +
           out << "Value:\n";

     

       436
       436
       +
           printAttr(ctx, out, path, &ctx->config_root);

     

       433
       437
        
       

     

       434
       434
       -
         out << "\n\nDefault:\n";

     

       435
       435
       -
         printAttr(ctx, out, "default", option);

     

       438
       438
       +
           out << "\n\nDefault:\n";

     

       439
       439
       +
           printAttr(ctx, out, "default", option);

     

       436
       440
        
       

     

       437
       437
       -
         out << "\n\nType:\n";

     

       438
       438
       -
         printAttr(ctx, out, "type.description", option);

     

       441
       441
       +
           out << "\n\nType:\n";

     

       442
       442
       +
           printAttr(ctx, out, "type.description", option);

     

       439
       443
        
       

     

       440
       440
       -
         out << "\n\nExample:\n";

     

       441
       441
       -
         printAttr(ctx, out, "example", option);

     

       444
       444
       +
           out << "\n\nExample:\n";

     

       445
       445
       +
           printAttr(ctx, out, "example", option);

     

       442
       446
        
       

     

       443
       443
       -
         out << "\n\nDescription:\n";

     

       444
       444
       -
         printAttr(ctx, out, "description", option);

     

       447
       447
       +
           out << "\n\nDescription:\n";

     

       448
       448
       +
           printAttr(ctx, out, "description", option);

     

       445
       449
        
       

     

       446
       446
       -
         out << "\n\nDeclared by:\n";

     

       447
       447
       -
         printAttr(ctx, out, "declarations", option);

     

       450
       450
       +
           out << "\n\nDeclared by:\n";

     

       451
       451
       +
           printAttr(ctx, out, "declarations", option);

     

       448
       452
        
       

     

       449
       449
       -
         out << "\n\nDefined by:\n";

     

       450
       450
       -
         printAttr(ctx, out, "files", option);

     

       451
       451
       -
         out << "\n";

     

       453
       453
       +
           out << "\n\nDefined by:\n";

     

       454
       454
       +
           printAttr(ctx, out, "files", option);

     

       455
       455
       +
           out << "\n";

     

       452
       456
        
       }

     

       453
       457
        
       

     

       454
       454
       -
       void printListing(Out &out, Value *v) {

     

       455
       455
       -
         // Print this header on stderr rather than stdout because the old shell script

     

       456
       456
       -
         // implementation did.  I don't know why.

     

       457
       457
       -
         std::cerr << "This attribute set contains:\n";

     

       458
       458
       -
         for (const auto &a : v->attrs->lexicographicOrder()) {

     

       459
       459
       -
           std::string name = a->name;

     

       460
       460
       -
           if (!name.empty() && name[0] != '_') {

     

       461
       461
       -
             out << name << "\n";

     

       458
       458
       +
       void printListing(Out & out, Value * v)

     

       459
       459
       +
       {

     

       460
       460
       +
           // Print this header on stderr rather than stdout because the old shell script

     

       461
       461
       +
           // implementation did.  I don't know why.

     

       462
       462
       +
           std::cerr << "This attribute set contains:\n";

     

       463
       463
       +
           for (const auto & a : v->attrs->lexicographicOrder()) {

     

       464
       464
       +
               std::string name = a->name;

     

       465
       465
       +
               if (!name.empty() && name[0] != '_') {

     

       466
       466
       +
                   out << name << "\n";

     

       467
       467
       +
               }

     

       462
       468
        
           }

     

       463
       463
       -
         }

     

       464
       469
        
       }

     

       465
       470
        
       

     

       466
       471
        
       // Carefully walk an option path, looking for sub-options when a path walks past

     

       467
       472
        
       // an option value.

     

       468
       468
       -
       Value findAlongOptionPath(Context *ctx, std::string const &path) {

     

       469
       469
       -
         Strings tokens = parseAttrPath(path);

     

       470
       470
       -
         Value v = ctx->options_root;

     

       471
       471
       -
         for (auto i = tokens.begin(); i != tokens.end(); i++) {

     

       472
       472
       -
           bool last_attribute = std::next(i) == tokens.end();

     

       473
       473
       -
           auto const &attr = *i;

     

       474
       474
       -
           v = evaluateValue(ctx, &v);

     

       475
       475
       -
           if (attr.empty()) {

     

       476
       476
       -
             throw Error("empty attribute name in selection path '" + path + "'");

     

       473
       473
       +
       Value findAlongOptionPath(Context * ctx, std::string const & path)

     

       474
       474
       +
       {

     

       475
       475
       +
           Strings tokens = parseAttrPath(path);

     

       476
       476
       +
           Value v = ctx->options_root;

     

       477
       477
       +
           for (auto i = tokens.begin(); i != tokens.end(); i++) {

     

       478
       478
       +
               bool last_attribute = std::next(i) == tokens.end();

     

       479
       479
       +
               auto const & attr = *i;

     

       480
       480
       +
               v = evaluateValue(ctx, &v);

     

       481
       481
       +
               if (attr.empty()) {

     

       482
       482
       +
                   throw Error("empty attribute name in selection path '" + path + "'");

     

       483
       483
       +
               }

     

       484
       484
       +
               if (isOption(ctx, v) && !last_attribute) {

     

       485
       485
       +
                   Value getSubOptions =

     

       486
       486
       +
                       evaluateValue(ctx, findAlongAttrPath(*ctx->state, "type.getSubOptions", *ctx->autoArgs, v));

     

       487
       487
       +
                   if (getSubOptions.type != tLambda) {

     

       488
       488
       +
                       throw Error("Option's type.getSubOptions isn't a function at '" + attr + "' in path '" + path + "'");

     

       489
       489
       +
                   }

     

       490
       490
       +
                   Value emptyString{};

     

       491
       491
       +
                   nix::mkString(emptyString, "");

     

       492
       492
       +
                   ctx->state->callFunction(getSubOptions, emptyString, v, nix::Pos{});

     

       493
       493
       +
                   // Note that we've consumed attr, but didn't actually use it.

     

       494
       494
       +
               } else if (v.type != tAttrs) {

     

       495
       495
       +
                   throw Error("attribute '" + attr + "' in path '" + path +

     

       496
       496
       +
                               "' attempts to index a value that should be a set but is " + showType(v));

     

       497
       497
       +
               } else {

     

       498
       498
       +
                   auto const & next = v.attrs->find(ctx->state->symbols.create(attr));

     

       499
       499
       +
                   if (next == v.attrs->end()) {

     

       500
       500
       +
                       throw Error("attribute '" + attr + "' in path '" + path + "' not found");

     

       501
       501
       +
                   }

     

       502
       502
       +
                   v = *next->value;

     

       503
       503
       +
               }

     

       477
       504
        
           }

     

       478
       478
       -
           if (isOption(ctx, v) && !last_attribute) {

     

       479
       479
       -
             Value getSubOptions = evaluateValue(

     

       480
       480
       -
                 ctx, findAlongAttrPath(*ctx->state, "type.getSubOptions",

     

       481
       481
       -
                                        *ctx->autoArgs, v));

     

       482
       482
       -
             if (getSubOptions.type != tLambda) {

     

       483
       483
       -
               throw Error("Option's type.getSubOptions isn't a function at '" + attr +

     

       484
       484
       -
                           "' in path '" + path + "'");

     

       485
       485
       -
             }

     

       486
       486
       -
             Value emptyString{};

     

       487
       487
       -
             nix::mkString(emptyString, "");

     

       488
       488
       -
             ctx->state->callFunction(getSubOptions, emptyString, v, nix::Pos{});

     

       489
       489
       -
             // Note that we've consumed attr, but didn't actually use it.

     

       490
       490
       -
           } else if (v.type != tAttrs) {

     

       491
       491
       -
             throw Error("attribute '" + attr + "' in path '" + path +

     

       492
       492
       -
                         "' attempts to index a value that should be a set but is " +

     

       493
       493
       -
                         showType(v));

     

       494
       494
       -
           } else {

     

       495
       495
       -
             auto const &next = v.attrs->find(ctx->state->symbols.create(attr));

     

       496
       496
       -
             if (next == v.attrs->end()) {

     

       497
       497
       -
               throw Error("attribute '" + attr + "' in path '" + path +

     

       498
       498
       -
                           "' not found");

     

       499
       499
       -
             }

     

       500
       500
       -
             v = *next->value;

     

       501
       501
       -
           }

     

       502
       502
       -
         }

     

       503
       503
       -
         return v;

     

       505
       505
       +
           return v;

     

       504
       506
        
       }

     

       505
       507
        
       

     

       506
       506
       -
       void printOne(Context *ctx, Out &out, std::string const &path) {

     

       507
       507
       -
         try {

     

       508
       508
       -
           Value option = findAlongOptionPath(ctx, path);

     

       509
       509
       -
           option = evaluateValue(ctx, &option);

     

       510
       510
       -
           if (isOption(ctx, option)) {

     

       511
       511
       -
             printOption(ctx, out, path, &option);

     

       512
       512
       -
           } else {

     

       513
       513
       -
             printListing(out, &option);

     

       508
       508
       +
       void printOne(Context * ctx, Out & out, std::string const & path)

     

       509
       509
       +
       {

     

       510
       510
       +
           try {

     

       511
       511
       +
               Value option = findAlongOptionPath(ctx, path);

     

       512
       512
       +
               option = evaluateValue(ctx, &option);

     

       513
       513
       +
               if (isOption(ctx, option)) {

     

       514
       514
       +
                   printOption(ctx, out, path, &option);

     

       515
       515
       +
               } else {

     

       516
       516
       +
                   printListing(out, &option);

     

       517
       517
       +
               }

     

       518
       518
       +
           } catch (Error & e) {

     

       519
       519
       +
               std::cerr << "error: " << e.msg()

     

       520
       520
       +
                         << "\nAn error occurred while looking for attribute names. Are "

     

       521
       521
       +
                            "you sure that '"

     

       522
       522
       +
                         << path << "' exists?\n";

     

       514
       523
        
           }

     

       515
       515
       -
         } catch (Error &e) {

     

       516
       516
       -
           std::cerr << "error: " << e.msg()

     

       517
       517
       -
                     << "\nAn error occurred while looking for attribute names. Are "

     

       518
       518
       -
                        "you sure that '"

     

       519
       519
       -
                     << path << "' exists?\n";

     

       520
       520
       -
         }

     

       521
       524
        
       }

     

       522
       525
        
       

     

       523
       523
       -
       int main(int argc, char **argv) {

     

       524
       524
       -
         bool all = false;

     

       525
       525
       -
         std::string path = ".";

     

       526
       526
       -
         std::string options_expr = "(import <nixpkgs/nixos> {}).options";

     

       527
       527
       -
         std::string config_expr = "(import <nixpkgs/nixos> {}).config";

     

       528
       528
       -
         std::vector<std::string> args;

     

       526
       526
       +
       int main(int argc, char ** argv)

     

       527
       527
       +
       {

     

       528
       528
       +
           bool all = false;

     

       529
       529
       +
           std::string path = ".";

     

       530
       530
       +
           std::string options_expr = "(import <nixpkgs/nixos> {}).options";

     

       531
       531
       +
           std::string config_expr = "(import <nixpkgs/nixos> {}).config";

     

       532
       532
       +
           std::vector<std::string> args;

     

       529
       533
        
       

     

       530
       530
       -
         struct MyArgs : nix::LegacyArgs, nix::MixEvalArgs {

     

       531
       531
       -
           using nix::LegacyArgs::LegacyArgs;

     

       532
       532
       -
         };

     

       534
       534
       +
           struct MyArgs : nix::LegacyArgs, nix::MixEvalArgs

     

       535
       535
       +
           {

     

       536
       536
       +
               using nix::LegacyArgs::LegacyArgs;

     

       537
       537
       +
           };

     

       533
       538
        
       

     

       534
       534
       -
         MyArgs myArgs(nix::baseNameOf(argv[0]),

     

       535
       535
       -
                       [&](Strings::iterator &arg, const Strings::iterator &end) {

     

       536
       536
       -
                         if (*arg == "--help") {

     

       537
       537
       -
                           nix::showManPage("nixos-option");

     

       538
       538
       -
                         } else if (*arg == "--version") {

     

       539
       539
       -
                           nix::printVersion("nixos-option");

     

       540
       540
       -
                         } else if (*arg == "--all") {

     

       541
       541
       -
                           all = true;

     

       542
       542
       -
                         } else if (*arg == "--path") {

     

       543
       543
       -
                           path = nix::getArg(*arg, arg, end);

     

       544
       544
       -
                         } else if (*arg == "--options_expr") {

     

       545
       545
       -
                           options_expr = nix::getArg(*arg, arg, end);

     

       546
       546
       -
                         } else if (*arg == "--config_expr") {

     

       547
       547
       -
                           config_expr = nix::getArg(*arg, arg, end);

     

       548
       548
       -
                         } else if (!arg->empty() && arg->at(0) == '-') {

     

       549
       549
       -
                           return false;

     

       550
       550
       -
                         } else {

     

       551
       551
       -
                           args.push_back(*arg);

     

       552
       552
       -
                         }

     

       553
       553
       -
                         return true;

     

       554
       554
       -
                       });

     

       539
       539
       +
           MyArgs myArgs(nix::baseNameOf(argv[0]), [&](Strings::iterator & arg, const Strings::iterator & end) {

     

       540
       540
       +
               if (*arg == "--help") {

     

       541
       541
       +
                   nix::showManPage("nixos-option");

     

       542
       542
       +
               } else if (*arg == "--version") {

     

       543
       543
       +
                   nix::printVersion("nixos-option");

     

       544
       544
       +
               } else if (*arg == "--all") {

     

       545
       545
       +
                   all = true;

     

       546
       546
       +
               } else if (*arg == "--path") {

     

       547
       547
       +
                   path = nix::getArg(*arg, arg, end);

     

       548
       548
       +
               } else if (*arg == "--options_expr") {

     

       549
       549
       +
                   options_expr = nix::getArg(*arg, arg, end);

     

       550
       550
       +
               } else if (*arg == "--config_expr") {

     

       551
       551
       +
                   config_expr = nix::getArg(*arg, arg, end);

     

       552
       552
       +
               } else if (!arg->empty() && arg->at(0) == '-') {

     

       553
       553
       +
                   return false;

     

       554
       554
       +
               } else {

     

       555
       555
       +
                   args.push_back(*arg);

     

       556
       556
       +
               }

     

       557
       557
       +
               return true;

     

       558
       558
       +
           });

     

       555
       559
        
       

     

       556
       556
       -
         myArgs.parseCmdline(nix::argvToStrings(argc, argv));

     

       560
       560
       +
           myArgs.parseCmdline(nix::argvToStrings(argc, argv));

     

       557
       561
        
       

     

       558
       558
       -
         nix::initPlugins();

     

       559
       559
       -
         nix::initGC();

     

       560
       560
       -
         nix::settings.readOnlyMode = true;

     

       561
       561
       -
         auto store = nix::openStore();

     

       562
       562
       -
         auto state = std::make_unique<EvalState>(myArgs.searchPath, store);

     

       562
       562
       +
           nix::initPlugins();

     

       563
       563
       +
           nix::initGC();

     

       564
       564
       +
           nix::settings.readOnlyMode = true;

     

       565
       565
       +
           auto store = nix::openStore();

     

       566
       566
       +
           auto state = std::make_unique<EvalState>(myArgs.searchPath, store);

     

       563
       567
        
       

     

       564
       564
       -
         Value options_root = parseAndEval(state.get(), options_expr, path);

     

       565
       565
       -
         Value config_root = parseAndEval(state.get(), config_expr, path);

     

       568
       568
       +
           Value options_root = parseAndEval(state.get(), options_expr, path);

     

       569
       569
       +
           Value config_root = parseAndEval(state.get(), config_expr, path);

     

       566
       570
        
       

     

       567
       567
       -
         Context ctx{state.get(), myArgs.getAutoArgs(*state), options_root,

     

       568
       568
       -
                     config_root};

     

       569
       569
       -
         Out out(std::cout);

     

       571
       571
       +
           Context ctx{state.get(), myArgs.getAutoArgs(*state), options_root, config_root};

     

       572
       572
       +
           Out out(std::cout);

     

       570
       573
        
       

     

       571
       571
       -
         if (all) {

     

       572
       572
       -
           if (!args.empty()) {

     

       573
       573
       -
             throw UsageError("--all cannot be used with arguments");

     

       574
       574
       -
           }

     

       575
       575
       -
           printAll(&ctx, out);

     

       576
       576
       -
         } else {

     

       577
       577
       -
           if (args.empty()) {

     

       578
       578
       -
             printOne(&ctx, out, "");

     

       579
       579
       -
           }

     

       580
       580
       -
           for (auto const &arg : args) {

     

       581
       581
       -
             printOne(&ctx, out, arg);

     

       574
       574
       +
           if (all) {

     

       575
       575
       +
               if (!args.empty()) {

     

       576
       576
       +
                   throw UsageError("--all cannot be used with arguments");

     

       577
       577
       +
               }

     

       578
       578
       +
               printAll(&ctx, out);

     

       579
       579
       +
           } else {

     

       580
       580
       +
               if (args.empty()) {

     

       581
       581
       +
                   printOne(&ctx, out, "");

     

       582
       582
       +
               }

     

       583
       583
       +
               for (auto const & arg : args) {

     

       584
       584
       +
                   printOne(&ctx, out, arg);

     

       585
       585
       +
               }

     

       582
       586
        
           }

     

       583
       583
       -
         }

     

       584
       587
        
       

     

       585
       585
       -
         ctx.state->printStats();

     

       588
       588
       +
           ctx.state->printStats();

     

       586
       589
        
       

     

       587
       587
       -
         return 0;

     

       590
       590
       +
           return 0;

     

       588
       591
        
       }