clean

home/zsh/pc-laptop.sh

@@ -3,8 +3,10 @@
 hostname=$(hostname)
 
 if [[ $hostname == *"pc"* ]]; then
+    echo "This machine is identified as a Desktop PC."
     sudo nixos-rebuild switch --flake ~/nix/#pc
 elif [[ $hostname == *"laptop"* ]]; then
+    echo "This machine is identified as a Laptop."
     sudo nixos-rebuild switch --flake ~/nix/#laptop
 else
     echo "Unable to determine the type of machine."

hosts/laptop/default.nix

@@ -2,21 +2,12 @@
 {
   networking.hostName = "laptop";
   networking.networkmanager.enable = true;
-  #boot.loader.systemd-boot.enable = true;
-  #boot.loader.efi.canTouchEfiVariables = true;
-  boot.loader = {
-  efi = {
-    canTouchEfiVariables = true;
-    efiSysMountPoint = "/boot/efi"; # ← use the same mount point here.
-  };
-  grub = {
-     efiSupport = true;
-     #efiInstallAsRemovable = true; # in case canTouchEfiVariables doesn't work for your system
-     device = "nodev";
-  };
-};
+  boot.loader.systemd-boot.enable = true;
+  boot.loader.efi.canTouchEfiVariables = true;
+  boot.loader.timeout = 5;
+  
   imports = [
-     ../../modules
+    ../../modules
     ./hardware.nix
     inputs.home-manager.nixosModules.default
   ];