2022-03-08 01:42:46 +00:00
|
|
|
{lib, ...}: {
|
2020-05-27 13:20:08 +00:00
|
|
|
options = {
|
|
|
|
m-0 = {
|
2022-03-08 01:42:46 +00:00
|
|
|
hostName = lib.mkOption {type = lib.types.str;};
|
2020-05-27 13:20:08 +00:00
|
|
|
terminal = lib.mkOption {
|
2022-03-07 18:40:12 +00:00
|
|
|
default = "foot";
|
2020-05-27 13:20:08 +00:00
|
|
|
type = lib.types.str;
|
|
|
|
};
|
|
|
|
colors = lib.mkOption {
|
2022-03-08 01:42:46 +00:00
|
|
|
default = {};
|
2020-05-27 13:20:08 +00:00
|
|
|
type = lib.types.attrs;
|
|
|
|
};
|
|
|
|
};
|
|
|
|
};
|
|
|
|
}
|