anchor.diff:          type = types.lines;
           description = ''
             Additional bash commands to be run at the script that
  -          prepares the grub menu entries.
  +          prepares the GRUB menu entries.
           '';
         };
   
  
positive.code:         }
        ] ++ flip map args.devices (device: {
          assertion = device == "nodev" || hasPrefix "/" device;
          message = "Grub devices must be absolute paths, not ${dev} in ${args.path}";
        }));
      })
  
  
negative.code:             example = [ "/dev/sda" "/dev/sdb" ];
              type = types.listOf types.str;
              description = ''
                The path to the devices which will have the GRUB MBR written.
                Note these are typically device paths and not paths to partitions.
              '';
            };
  