2018-07-20 20:56:59 +00:00
|
|
|
{ lib, ... }:
|
2015-01-14 19:35:54 +00:00
|
|
|
|
|
|
|
with lib;
|
|
|
|
|
|
|
|
{
|
2019-12-10 01:51:19 +00:00
|
|
|
imports = [
|
|
|
|
(mkRenamedOptionModule [ "boot" "loader" "grub" "timeout" ] [ "boot" "loader" "timeout" ])
|
|
|
|
(mkRenamedOptionModule [ "boot" "loader" "gummiboot" "timeout" ] [ "boot" "loader" "timeout" ])
|
|
|
|
];
|
|
|
|
|
2015-01-14 19:35:54 +00:00
|
|
|
options = {
|
|
|
|
boot.loader.timeout = mkOption {
|
|
|
|
default = 5;
|
|
|
|
type = types.nullOr types.int;
|
|
|
|
description = ''
|
|
|
|
Timeout (in seconds) until loader boots the default menu item. Use null if the loader menu should be displayed indefinitely.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
};
|
2019-12-10 01:51:19 +00:00
|
|
|
}
|