anchor.diff:          }
         ] ++ flip map args.devices (device: {
           assertion = device == "nodev" || hasPrefix "/" device;
  -        message = "Grub devices must be absolute paths, not ${dev} in ${args.path}";
  +        message = "GRUB devices must be absolute paths, not ${dev} in ${args.path}";
         }));
       })
   
  
positive.code:         example = "1024x768";
          type = types.str;
          description = ''
            The gfxmode to pass to grub when loading a graphical boot interface under efi.
          '';
        };
  
  
negative.code:         type = types.lines;
          description = ''
            Additional bash commands to be run at the script that
            prepares the GRUB menu entries.
          '';
        };
  
  