···

       
38
       
 
       
    in

     

       
39
       
 
       
    pkgs.writeText "grub-config.xml" (builtins.toXML

     

       
40
       
 
       
    { splashImage = f cfg.splashImage;

     

       
0
       
 
       

     

       
0
       
 
       

     

       
41
       
 
       
      grub = f grub;

     

       
42
       
 
       
      grubTarget = f (grub.grubTarget or "");

     

       
43
       
 
       
      shell = "${pkgs.runtimeShell}";

     
···

       
324
       
 
       
          File must be one of .png, .tga, .jpg, or .jpeg. JPEG images must

     

       
325
       
 
       
          not be progressive.

     

       
326
       
 
       
          The image will be scaled if necessary to fit the screen.

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
327
       
 
       
          </para></note>

     

       
328
       
 
       
        '';

     

       
329
       
 
       
      };

     

···

       
38
       
 
       
    in

     

       
39
       
 
       
    pkgs.writeText "grub-config.xml" (builtins.toXML

     

       
40
       
 
       
    { splashImage = f cfg.splashImage;

     

       
41
       
+
       
      splashMode = f cfg.splashMode;

     

       
42
       
+
       
      backgroundColor = f cfg.backgroundColor;

     

       
43
       
 
       
      grub = f grub;

     

       
44
       
 
       
      grubTarget = f (grub.grubTarget or "");

     

       
45
       
 
       
      shell = "${pkgs.runtimeShell}";

     
···

       
326
       
 
       
          File must be one of .png, .tga, .jpg, or .jpeg. JPEG images must

     

       
327
       
 
       
          not be progressive.

     

       
328
       
 
       
          The image will be scaled if necessary to fit the screen.

     

       
329
       
+
       
          </para></note>

     

       
330
       
+
       
        '';

     

       
331
       
+
       
      };

     

       
332
       
+
       


     

       
333
       
+
       
      backgroundColor = mkOption {

     

       
334
       
+
       
        type = types.nullOr types.string;

     

       
335
       
+
       
        example = "#7EBAE4";

     

       
336
       
+
       
        default = null;

     

       
337
       
+
       
        description = ''

     

       
338
       
+
       
          Background color to be used for GRUB to fill the areas the image isn't filling.

     

       
339
       
+
       


     

       
340
       
+
       
          <note><para>

     

       
341
       
+
       
          This options has no effect for GRUB 1.

     

       
342
       
+
       
          </para></note>

     

       
343
       
+
       
        '';

     

       
344
       
+
       
      };

     

       
345
       
+
       


     

       
346
       
+
       
      splashMode = mkOption {

     

       
347
       
+
       
        type = types.enum [ "normal" "stretch" ];

     

       
348
       
+
       
        default = "stretch";

     

       
349
       
+
       
        description = ''

     

       
350
       
+
       
          Whether to stretch the image or show the image in the top-left corner unstretched.

     

       
351
       
+
       


     

       
352
       
+
       
          <note><para>

     

       
353
       
+
       
          This options has no effect for GRUB 1.

     

       
354
       
 
       
          </para></note>

     

       
355
       
 
       
        '';

     

       
356
       
 
       
      };

     

···

       
51
       
 
       
my $extraEntriesBeforeNixOS = get("extraEntriesBeforeNixOS") eq "true";

     

       
52
       
 
       
my $extraInitrd = get("extraInitrd");

     

       
53
       
 
       
my $splashImage = get("splashImage");

     

       
0
       
 
       

     

       
0
       
 
       

     

       
54
       
 
       
my $configurationLimit = int(get("configurationLimit"));

     

       
55
       
 
       
my $copyKernels = get("copyKernels") eq "true";

     

       
56
       
 
       
my $timeout = int(get("timeout"));

     
···

       
307
       
 
       
        if ($suffix eq ".jpg") {

     

       
308
       
 
       
            $suffix = ".jpeg";

     

       
309
       
 
       
        }

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
310
       
 
       
        copy $splashImage, "$bootPath/background$suffix" or die "cannot copy $splashImage to $bootPath\n";

     

       
311
       
 
       
        $conf .= "

     

       
312
       
 
       
            insmod " . substr($suffix, 1) . "

     

       
313
       
-
       
            if background_image " . $grubBoot->path . "/background$suffix; then

     

       
314
       
 
       
              set color_normal=white/black

     

       
315
       
 
       
              set color_highlight=black/white

     

       
316
       
 
       
            else

     

···

       
51
       
 
       
my $extraEntriesBeforeNixOS = get("extraEntriesBeforeNixOS") eq "true";

     

       
52
       
 
       
my $extraInitrd = get("extraInitrd");

     

       
53
       
 
       
my $splashImage = get("splashImage");

     

       
54
       
+
       
my $splashMode = get("splashMode");

     

       
55
       
+
       
my $backgroundColor = get("backgroundColor");

     

       
56
       
 
       
my $configurationLimit = int(get("configurationLimit"));

     

       
57
       
 
       
my $copyKernels = get("copyKernels") eq "true";

     

       
58
       
 
       
my $timeout = int(get("timeout"));

     
···

       
309
       
 
       
        if ($suffix eq ".jpg") {

     

       
310
       
 
       
            $suffix = ".jpeg";

     

       
311
       
 
       
        }

     

       
312
       
+
       
		if ($backgroundColor) {

     

       
313
       
+
       
			$conf .= "

     

       
314
       
+
       
		    background_color '$backgroundColor'

     

       
315
       
+
       
		    ";

     

       
316
       
+
       
		}

     

       
317
       
 
       
        copy $splashImage, "$bootPath/background$suffix" or die "cannot copy $splashImage to $bootPath\n";

     

       
318
       
 
       
        $conf .= "

     

       
319
       
 
       
            insmod " . substr($suffix, 1) . "

     

       
320
       
+
       
            if background_image --mode '$splashMode' " . $grubBoot->path . "/background$suffix; then

     

       
321
       
 
       
              set color_normal=white/black

     

       
322
       
 
       
              set color_highlight=black/white

     

       
323
       
 
       
            else