2018-07-20 22:56:59 +02:00
|
|
|
{ lib, ... }:
|
2015-01-14 20:35:54 +01:00
|
|
|
|
|
|
|
with lib;
|
|
|
|
|
|
|
|
{
|
2019-12-10 02:51:19 +01:00
|
|
|
imports = [
|
|
|
|
(mkRenamedOptionModule [ "boot" "loader" "grub" "timeout" ] [ "boot" "loader" "timeout" ])
|
|
|
|
(mkRenamedOptionModule [ "boot" "loader" "gummiboot" "timeout" ] [ "boot" "loader" "timeout" ])
|
|
|
|
];
|
|
|
|
|
2015-01-14 20:35:54 +01: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 02:51:19 +01:00
|
|
|
}
|