diff options
| author | jeschli <jeschli@gmail.com> | 2018-06-19 09:14:15 +0200 |
|---|---|---|
| committer | jeschli <jeschli@gmail.com> | 2018-06-19 09:14:15 +0200 |
| commit | 1c64a03b396177010885147e1ff704e12f2f1b07 (patch) | |
| tree | 2679e2daefc5ea12a4b67e7dc987faae492c3ad0 /jeschli | |
| parent | 053cf6a43400c62129f982339b0fb63ab6f29e5c (diff) | |
j bln: +debian efi bootentry
Diffstat (limited to 'jeschli')
| -rw-r--r-- | jeschli/1systems/bln/config.nix | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/jeschli/1systems/bln/config.nix b/jeschli/1systems/bln/config.nix index c5f8101ea..1680bcfb4 100644 --- a/jeschli/1systems/bln/config.nix +++ b/jeschli/1systems/bln/config.nix @@ -11,8 +11,22 @@ <stockholm/jeschli/2configs/xserver> ]; - boot.loader.systemd-boot.enable = true; +# boot.loader.systemd-boot.enable = true; boot.loader.efi.canTouchEfiVariables = true; + boot.loader.efi.efiSysMountPoint = "/boot"; + boot.loader.grub = { + devices = [ "nodev" ]; + efiSupport = true; + enable = true; + extraEntries = '' + menuentry "Debian" { + insmod ext2 + insmod chain + chainloader /EFI/debian/grubx64.efi + } + ''; + version = 2; + }; jeschliFontSize = 20; |