···

       
7
       
7
       
 
       
  cfg = config.krb5;

     

       
8
       
8
       
 
       


     

       
9
       
9
       
 
       
  # This is to provide support for old configuration options (as much as is

     

       
10
       
10
       
-
       
  # reasonable).  This can probably be removed after some time.

     

       
10
       
10
       
+
       
  # reasonable). This can be removed after 18.03 was released.

     

       
11
       
11
       
 
       
  defaultConfig = {

     

       
12
       
12
       
 
       
    libdefaults = optionalAttrs (cfg.defaultRealm != null)

     

       
13
       
13
       
 
       
      { default_realm = cfg.defaultRealm; };