different grub options
This commit is contained in:
parent
e7ac0a8f6d
commit
8731c41b5b
2 changed files with 2 additions and 2 deletions
|
@ -16,7 +16,7 @@
|
||||||
grub = {
|
grub = {
|
||||||
enable = true;
|
enable = true;
|
||||||
efiSupport = true;
|
efiSupport = true;
|
||||||
device = "nodev";
|
efiInstallAsRemovable = true;
|
||||||
useOSProber = true;
|
useOSProber = true;
|
||||||
font = null;
|
font = null;
|
||||||
splashImage = null;
|
splashImage = null;
|
||||||
|
|
|
@ -20,7 +20,7 @@
|
||||||
};
|
};
|
||||||
};
|
};
|
||||||
root = {
|
root = {
|
||||||
end = "-16G";
|
size = "100%";
|
||||||
content = {
|
content = {
|
||||||
type = "btrfs";
|
type = "btrfs";
|
||||||
extraArgs = [ "-f" ]; # Override existing partition
|
extraArgs = [ "-f" ]; # Override existing partition
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue