1
0
Fork 0
mirror of https://github.com/nix-community/home-manager synced 2024-11-27 05:29:46 +01:00

mako: add extraConfig option

This commit is contained in:
Andrew Jeffery 2020-12-21 12:11:38 +00:00 committed by Robert Helgesson
parent 76de0632ac
commit cb136f37c7
No known key found for this signature in database
GPG key ID: 36BDAA14C2797E89

View file

@ -271,6 +271,15 @@ in {
''; '';
}; };
extraConfig = mkOption {
default = "";
type = types.lines;
example = literalExample ''
[urgency=low]
border-color=#b8bb26
'';
description = "Additional configuration.";
};
}; };
}; };
@ -311,6 +320,8 @@ in {
${optionalInteger "default-timeout" cfg.defaultTimeout} ${optionalInteger "default-timeout" cfg.defaultTimeout}
${optionalBoolean "ignore-timeout" cfg.ignoreTimeout} ${optionalBoolean "ignore-timeout" cfg.ignoreTimeout}
${optionalString "group-by" cfg.groupBy} ${optionalString "group-by" cfg.groupBy}
${cfg.extraConfig}
''; '';
}; };
} }