diff options
| -rw-r--r-- | sys/boot/default.nix | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/sys/boot/default.nix b/sys/boot/default.nix index 68c6454a..1a849fbb 100644 --- a/sys/boot/default.nix +++ b/sys/boot/default.nix @@ -16,6 +16,10 @@ nixosDir = "/EFI/nixos"; + # FIXME: This system has two big problems: + # 1. It does not updated files, which still have the same name + # 2. It forgets about files, which were 'deleted' in this configuration (these just + # stay on disk forever) <2024-05-11> copyExtraFiles = '' echo "[systemd-boot] copying files to ${bootMountPoint}" empty_file=$(mktemp) @@ -37,10 +41,10 @@ bash */ '' - if ! [ -e ${esa "${bootMountPoint}/loader/entries/${n}"} ]; then + # if ! [ -e ${esa "${bootMountPoint}/loader/entries/${n}"} ]; then install -Dp "${pkgs.writeText n v}" ${esa "${bootMountPoint}/loader/entries/${n}"} install -D "$empty_file" ${esa "${bootMountPoint}/${nixosDir}/.extra-files/loader/entries/${n}"} - fi + # fi '') cfg.extraEntries)} ''; |