···

       
7
       
 
       


     

       
8
       
 
       
  addCheckDesc = desc: elemType: check: types.addCheck elemType check

     

       
9
       
 
       
    // { description = "${elemType.description} (with check: ${desc})"; };

     

       
10
       
-
       
  nonEmptyStr = addCheckDesc "non-empty" types.str

     

       
11
       
-
       
    (x: x != "" && ! (all (c: c == " " || c == "\t") (stringToCharacters x)));

     

       
0
       
 
       

     

       
12
       
 
       


     

       
13
       
 
       
  fileSystems' = toposort fsBefore (attrValues config.fileSystems);

     

       
14
       
 
       


     
···

       
28
       
 
       
  coreFileSystemOpts = { name, config, ... }: {

     

       
29
       
 
       


     

       
30
       
 
       
    options = {

     

       
31
       
-
       


     

       
32
       
 
       
      mountPoint = mkOption {

     

       
33
       
 
       
        example = "/mnt/usb";

     

       
34
       
-
       
        type = nonEmptyStr;

     

       
0
       
 
       

     

       
35
       
 
       
        description = "Location of the mounted the file system.";

     

       
36
       
 
       
      };

     

       
37
       
 
       


     

···

       
7
       
 
       


     

       
8
       
 
       
  addCheckDesc = desc: elemType: check: types.addCheck elemType check

     

       
9
       
 
       
    // { description = "${elemType.description} (with check: ${desc})"; };

     

       
10
       
+
       


     

       
11
       
+
       
  isNonEmpty = s: (builtins.match "[ \t\n]*" s) == null;

     

       
12
       
+
       
  nonEmptyStr = addCheckDesc "non-empty" types.str isNonEmpty;

     

       
13
       
 
       


     

       
14
       
 
       
  fileSystems' = toposort fsBefore (attrValues config.fileSystems);

     

       
15
       
 
       


     
···

       
29
       
 
       
  coreFileSystemOpts = { name, config, ... }: {

     

       
30
       
 
       


     

       
31
       
 
       
    options = {

     

       
0
       
 
       

     

       
32
       
 
       
      mountPoint = mkOption {

     

       
33
       
 
       
        example = "/mnt/usb";

     

       
34
       
+
       
        type = addCheckDesc "non-empty without trailing slash" types.str

     

       
35
       
+
       
          (s: isNonEmpty s && (builtins.match ".+/" s) == null);

     

       
36
       
 
       
        description = "Location of the mounted the file system.";

     

       
37
       
 
       
      };

     

       
38