mirror of
https://github.com/NixOS/nixpkgs.git
synced 2025-11-12 10:43:16 +01:00
6afb255d97
these changes were generated with nixq 0.0.2, by running nixq ">> lib.mdDoc[remove] Argument[keep]" --batchmode nixos/**.nix nixq ">> mdDoc[remove] Argument[keep]" --batchmode nixos/**.nix nixq ">> Inherit >> mdDoc[remove]" --batchmode nixos/**.nix two mentions of the mdDoc function remain in nixos/, both of which are inside of comments. Since lib.mdDoc is already defined as just id, this commit is a no-op as far as Nix (and the built manual) is concerned.
63 lines
1.6 KiB
Nix
63 lines
1.6 KiB
Nix
{ config, lib, pkgs, ... }:
|
|
|
|
with lib;
|
|
|
|
let
|
|
|
|
generationsDirBuilder = pkgs.substituteAll {
|
|
src = ./generations-dir-builder.sh;
|
|
isExecutable = true;
|
|
inherit (pkgs) bash;
|
|
path = [pkgs.coreutils pkgs.gnused pkgs.gnugrep];
|
|
inherit (config.boot.loader.generationsDir) copyKernels;
|
|
};
|
|
|
|
in
|
|
|
|
{
|
|
options = {
|
|
|
|
boot.loader.generationsDir = {
|
|
|
|
enable = mkOption {
|
|
default = false;
|
|
type = types.bool;
|
|
description = ''
|
|
Whether to create symlinks to the system generations under
|
|
`/boot`. When enabled,
|
|
`/boot/default/kernel`,
|
|
`/boot/default/initrd`, etc., are updated to
|
|
point to the current generation's kernel image, initial RAM
|
|
disk, and other bootstrap files.
|
|
|
|
This optional is not necessary with boot loaders such as GNU GRUB
|
|
for which the menu is updated to point to the latest bootstrap
|
|
files. However, it is needed for U-Boot on platforms where the
|
|
boot command line is stored in flash memory rather than in a
|
|
menu file.
|
|
'';
|
|
};
|
|
|
|
copyKernels = mkOption {
|
|
default = false;
|
|
type = types.bool;
|
|
description = ''
|
|
Whether copy the necessary boot files into /boot, so
|
|
/nix/store is not needed by the boot loader.
|
|
'';
|
|
};
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
config = mkIf config.boot.loader.generationsDir.enable {
|
|
|
|
system.build.installBootLoader = generationsDirBuilder;
|
|
system.boot.loader.id = "generationsDir";
|
|
system.boot.loader.kernelFile = pkgs.stdenv.hostPlatform.linux-kernel.target;
|
|
|
|
};
|
|
}
|