2023-12-31 19:11:11 +00:00
|
|
|
{ pkgs, ... }:
|
2023-08-27 23:14:35 +00:00
|
|
|
|
|
|
|
{
|
|
|
|
boot.loader = {
|
|
|
|
efi.canTouchEfiVariables = true;
|
|
|
|
|
|
|
|
systemd-boot = {
|
|
|
|
enable = true;
|
|
|
|
editor = false;
|
|
|
|
configurationLimit = 5;
|
|
|
|
extraInstallCommands = ''
|
2023-12-31 19:11:11 +00:00
|
|
|
${pkgs.gnused}/bin/sed -i 's/^version Generation \([0-9]\+\).*$/version Generation \1/' /boot/loader/entries/nixos-generation-*
|
|
|
|
${pkgs.gnused}/bin/sed -i 's/^default .*$/default 00-arch.conf/' /boot/loader/loader.conf
|
2023-08-27 23:14:35 +00:00
|
|
|
'';
|
|
|
|
};
|
|
|
|
};
|
2023-12-31 19:11:11 +00:00
|
|
|
|
|
|
|
boot.kernelParams = [ "quiet" "splash" ];
|
2023-08-27 23:14:35 +00:00
|
|
|
}
|