From af9f44dd575bdf6390e14b34b7a652f766b39db0 Mon Sep 17 00:00:00 2001
From: Robin Gloster <mail@glob.in>
Date: Mon, 13 Feb 2017 14:54:30 +0100
Subject: [PATCH] grub: fix capitalisation

Missed this occurence while renaming the option
---
 nixos/modules/system/boot/loader/grub/install-grub.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/nixos/modules/system/boot/loader/grub/install-grub.pl b/nixos/modules/system/boot/loader/grub/install-grub.pl
index 74eb32d1fc13..c9a51288747b 100644
--- a/nixos/modules/system/boot/loader/grub/install-grub.pl
+++ b/nixos/modules/system/boot/loader/grub/install-grub.pl
@@ -430,7 +430,7 @@ my $tmpFile = $confFile . ".tmp";
 writeFile($tmpFile, $conf);
 
 # Append entries detected by os-prober
-if (get("useOsprober") eq "true") {
+if (get("useOSProber") eq "true") {
     system(get("shell"), "-c", "pkgdatadir=$grub/share/grub $grub/etc/grub.d/30_os-prober >> $tmpFile");
 }