Regenerated

Droidnix/README.org

@@ -267,7 +267,7 @@ in {
 
 ** =generated/hosts/traveldroid/boot.nix=
 #+BEGIN_SRC nix :tangle generated/hosts/traveldroid/boot.nix :noweb tangle :mkdirp yes :eval never-html
-{ pkgs, config, lib, flakeRoot, ... }:
+{{ pkgs, config, lib, flakeRoot, ... }:
 
 let
   grubThemeDir = "/boot/grub/themes/catppuccin-mocha";
@@ -287,17 +287,25 @@ in
 
     supportedFilesystems = [ "ntfs" ];
 
-    loader.grub = {
-      enable = true;
-      efiSupport = true;
-      devices = [ "nodev" ];       # UEFI: no physical disk
-      useOSProber = true;
-      theme = grubThemeFile;
+    # Correct GRUB + UEFI configuration
+    loader = {
+      grub = {
+        enable = true;
+        efiSupport = true;      # enable UEFI mode
+        devices = [ "nodev" ];  # nodev for UEFI
+        useOSProber = true;
+        theme = grubThemeFile;
+      };
+
+      timeout = 5;
     };
 
-    boot.efi.canTouchEfiVariables = true;
-    loader.timeout = 5;
+    # This must be nested under `boot.efi`
+    efi = {
+      canTouchEfiVariables = true;
+    };
 
+    # Plymouth splashscreen
     plymouth = {
       enable = true;
       theme = "rings";
@@ -309,6 +317,7 @@ in
     };
   };
 
+  # Activation script: write Catppuccin GRUB theme
   system.activationScripts.grubTheme = {
     text = ''
       mkdir -p ${grubThemeDir}