NixOS/mobile-nixos
1
1
Fork 0
mirror of https://github.com/NixOS/mobile-nixos.git synced 2024-12-14 09:16:39 +03:00
Code Issues Projects Releases Wiki Activity

initrd-boot-gui: add option to disable

Browse Source 
Killing the GUI on my device causes a crash.
This commit is contained in:
Brian McKenna 2022-07-11 11:46:34 +10:00 committed by Samuel Dionne-Riel
parent 1fa016bf98
commit 278c567a7a
1 changed files with 33 additions and 21 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

54
modules/initrd-boot-gui.nix
View File

@ -1,6 +1,8 @@
{ config, lib, pkgs, ... }:
let
inherit (lib) mkIf mkOption types;
cfg = config.mobile.boot.stage-1.gui;
minimalX11Config = pkgs.runCommand "minimalX11Config" {
allowedReferences = [ "out" ];
} ''
@ -18,27 +20,37 @@ let
'';
in
{
mobile.boot.stage-1.contents = with pkgs; [
{
object = "${pkgs.mobile-nixos.stage-1.boot-error}/libexec/boot-error.mrb";
symlink = "/applets/boot-error.mrb";
}
{
object = "${pkgs.mobile-nixos.stage-1.boot-splash}/libexec/boot-splash.mrb";
symlink = "/applets/boot-splash.mrb";
}
{
object = "${pkgs.mobile-nixos.stage-1.boot-recovery-menu}/libexec/boot-recovery-menu.mrb";
symlink = "/applets/boot-selection.mrb";
}
{
object = "${minimalX11Config}";
symlink = "/etc/X11";
}
];
options.mobile.boot.stage-1.gui = {
enable = mkOption {
type = types.bool;
default = true;
description = "enable splash and boot selection GUI";
};
};
mobile.boot.stage-1.environment = {
XKB_CONFIG_ROOT = "/etc/X11/xkb";
XLOCALEDIR = "/etc/X11/locale";
config = mkIf cfg.enable {
mobile.boot.stage-1.contents = with pkgs; [
{
object = "${pkgs.mobile-nixos.stage-1.boot-error}/libexec/boot-error.mrb";
symlink = "/applets/boot-error.mrb";
}
{
object = "${pkgs.mobile-nixos.stage-1.boot-splash}/libexec/boot-splash.mrb";
symlink = "/applets/boot-splash.mrb";
}
{
object = "${pkgs.mobile-nixos.stage-1.boot-recovery-menu}/libexec/boot-recovery-menu.mrb";
symlink = "/applets/boot-selection.mrb";
}
{
object = "${minimalX11Config}";
symlink = "/etc/X11";
}
];
mobile.boot.stage-1.environment = {
XKB_CONFIG_ROOT = "/etc/X11/xkb";
XLOCALEDIR = "/etc/X11/locale";
};
};
}