From 8731c41b5b649bcfc5982994163d2aae2fd2728a Mon Sep 17 00:00:00 2001 From: twoneis Date: Tue, 7 May 2024 23:03:52 +0200 Subject: [PATCH] different grub options --- devices/ellaca/default.nix | 2 +- devices/ellaca/disko.nix | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/devices/ellaca/default.nix b/devices/ellaca/default.nix index 8203bf7..32060fd 100644 --- a/devices/ellaca/default.nix +++ b/devices/ellaca/default.nix @@ -16,7 +16,7 @@ grub = { enable = true; efiSupport = true; - device = "nodev"; + efiInstallAsRemovable = true; useOSProber = true; font = null; splashImage = null; diff --git a/devices/ellaca/disko.nix b/devices/ellaca/disko.nix index 5859015..1349545 100644 --- a/devices/ellaca/disko.nix +++ b/devices/ellaca/disko.nix @@ -20,7 +20,7 @@ }; }; root = { - end = "-16G"; + size = "100%"; content = { type = "btrfs"; extraArgs = [ "-f" ]; # Override existing partition