···

       
96
       
96
       
 
       
          else if any (w: w.name == defaultDM) cfg.session.list then

     

       
97
       
97
       
 
       
            defaultDM

     

       
98
       
98
       
 
       
          else

     

       
99
       
99
       
-
       
            throw ''

     

       
100
       
100
       
-
       
              Default desktop manager (${defaultDM}) not found.

     

       
101
       
101
       
-
       
              Probably you want to change

     

       
102
       
102
       
-
       
                services.xserver.desktopManager.default = "${defaultDM}";

     

       
103
       
103
       
-
       
              to one of

     

       
99
       
99
       
+
       
            builtins.trace ''

     

       
100
       
100
       
+
       
              Default desktop manager (${defaultDM}) not found at evaluation time.

     

       
101
       
101
       
+
       
              These are the known valid session names:

     

       
104
       
102
       
 
       
                ${concatMapStringsSep "\n  " (w: "services.xserver.desktopManager.default = \"${w.name}\";") cfg.session.list}

     

       
105
       
105
       
-
       
            '';

     

       
103
       
103
       
+
       
              It's also possible the default can be found in one of these packages:

     

       
104
       
104
       
+
       
                ${concatMapStringsSep "\n  " (p: p.name) config.services.xserver.displayManager.extraSessionFilePackages}

     

       
105
       
105
       
+
       
            '' defaultDM;

     

       
106
       
106
       
 
       
      };

     

       
107
       
107
       
 
       


     

       
108
       
108
       
 
       
    };

     

···

       
176
       
176
       
 
       
          LightDM auto-login requires services.xserver.displayManager.lightdm.autoLogin.user to be set

     

       
177
       
177
       
 
       
        '';

     

       
178
       
178
       
 
       
      }

     

       
179
       
179
       
-
       
      { assertion = cfg.autoLogin.enable -> elem defaultSessionName dmcfg.session.names;

     

       
179
       
179
       
+
       
      { assertion = cfg.autoLogin.enable -> dmDefault != "none" || wmDefault != "none";

     

       
180
       
180
       
 
       
        message = ''

     

       
181
       
181
       
 
       
          LightDM auto-login requires that services.xserver.desktopManager.default and

     

       
182
       
182
       
 
       
          services.xserver.windowMananger.default are set to valid values. The current

     

       
183
       
183
       
 
       
          default session: ${defaultSessionName} is not valid.

     

       
184
       
184
       
-
       
        '';

     

       
185
       
185
       
-
       
      }

     

       
186
       
186
       
-
       
      { assertion = hasDefaultUserSession -> elem defaultSessionName dmcfg.session.names;

     

       
187
       
187
       
-
       
        message = ''

     

       
188
       
188
       
-
       
          services.xserver.desktopManager.default and

     

       
189
       
189
       
-
       
          services.xserver.windowMananger.default are not set to valid

     

       
190
       
190
       
-
       
          values. The current default session: ${defaultSessionName}

     

       
191
       
191
       
-
       
          is not valid.

     

       
192
       
184
       
 
       
        '';

     

       
193
       
185
       
 
       
      }

     

       
194
       
186
       
 
       
      { assertion = !cfg.greeter.enable -> (cfg.autoLogin.enable && cfg.autoLogin.timeout == 0);