From 87dadc82597821d768bc2beeeb75389550a46af0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Charlotte=20=F0=9F=A6=9D=20Delenk?= <lotte@chir.rs>
Date: Thu, 31 Oct 2024 13:26:09 +0100
Subject: [PATCH] fix systemd-boot maybe

---
 machine/not522/hardware.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/machine/not522/hardware.nix b/machine/not522/hardware.nix
index 89346852..20dc04a5 100644
--- a/machine/not522/hardware.nix
+++ b/machine/not522/hardware.nix
@@ -10,7 +10,7 @@
   boot.loader.systemd-boot.extraInstallCommands = ''
     set -euo pipefail
     ${pkgs.coreutils}/bin/cp --no-preserve=mode -r ${config.hardware.deviceTree.package} ${config.boot.loader.efi.efiSysMountPoint}/
-    if [ -d ${config.boot.loader.efi.efiSysMountPoint} /loader/entries ]; then
+    if [[ -d ${config.boot.loader.efi.efiSysMountPoint}/loader/entries ]]; then
       for filename in ${config.boot.loader.efi.efiSysMountPoint}/loader/entries/nixos*-generation-[1-9]*.conf; do
         if ! ${pkgs.gnugrep}/bin/grep -q 'devicetree' $filename; then
           ${pkgs.coreutils}/bin/echo "devicetree /dtbs/${config.hardware.deviceTree.name}" >> $filename