2020-10-30 11:05:26 +01:00
|
|
|
{
|
2022-03-10 21:52:12 +01:00
|
|
|
config,
|
|
|
|
|
lib,
|
|
|
|
|
pkgs,
|
|
|
|
|
...
|
|
|
|
|
}:
|
2025-12-27 22:22:54 +01:00
|
|
|
with lib;
|
|
|
|
|
{
|
2020-10-30 11:05:26 +01:00
|
|
|
options.niveum = {
|
2025-12-27 22:22:54 +01:00
|
|
|
wirelessInterface = mkOption { type = types.str; };
|
2020-10-30 11:05:26 +01:00
|
|
|
|
2025-12-27 22:22:54 +01:00
|
|
|
batteryName = mkOption { type = types.str; };
|
2020-10-30 11:05:26 +01:00
|
|
|
|
2025-12-27 22:22:54 +01:00
|
|
|
promptColours =
|
|
|
|
|
let
|
|
|
|
|
colours16 = types.enum [
|
|
|
|
|
"black"
|
|
|
|
|
"red"
|
|
|
|
|
"green"
|
|
|
|
|
"yellow"
|
|
|
|
|
"blue"
|
|
|
|
|
"magenta"
|
|
|
|
|
"cyan"
|
|
|
|
|
"white"
|
|
|
|
|
];
|
|
|
|
|
in
|
|
|
|
|
{
|
|
|
|
|
success = mkOption {
|
|
|
|
|
type = colours16;
|
|
|
|
|
default = "green";
|
|
|
|
|
};
|
|
|
|
|
failure = mkOption {
|
|
|
|
|
type = colours16;
|
|
|
|
|
default = "red";
|
|
|
|
|
};
|
2020-10-30 11:05:26 +01:00
|
|
|
};
|
|
|
|
|
};
|
|
|
|
|
}
|