equal
deleted
inserted
replaced
1028 for host, options in enabled_hosts() do |
1028 for host, options in enabled_hosts() do |
1029 if not options.component_module and options.modules_enabled then |
1029 if not options.component_module and options.modules_enabled then |
1030 suggested_global_modules = set.intersection(suggested_global_modules or set.new(options.modules_enabled), set.new(options.modules_enabled)); |
1030 suggested_global_modules = set.intersection(suggested_global_modules or set.new(options.modules_enabled), set.new(options.modules_enabled)); |
1031 end |
1031 end |
1032 end |
1032 end |
1033 if not suggested_global_modules:empty() then |
1033 if suggested_global_modules and not suggested_global_modules:empty() then |
1034 print(" Consider moving these modules into modules_enabled in the global section:") |
1034 print(" Consider moving these modules into modules_enabled in the global section:") |
1035 print(" "..tostring(suggested_global_modules / function (x) return ("%q"):format(x) end)); |
1035 print(" "..tostring(suggested_global_modules / function (x) return ("%q"):format(x) end)); |
1036 end |
1036 end |
1037 print(); |
1037 print(); |
1038 end |
1038 end |