Mirrors/home-manager
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

xresources: give properties option more specific type

Browse source 
This more readily allows merging configurations.
This commit is contained in:
Robert Helgesson 2020-02-29 22:32:52 +01:00
parent acf106ced0
commit 7bd043e9ee
No known key found for this signature in database
GPG key ID: 36BDAA14C2797E89
1 changed files with 5 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
modules/xresources.nix
View file

@ -28,7 +28,11 @@ in {
options = { options = {
xresources.properties = mkOption { xresources.properties = mkOption {
type = types.nullOr types.attrs; type = with types;
let
prim = either bool (either int str);
entry = either prim (listOf prim);
in nullOr (attrsOf entry);
default = null; default = null;
example = literalExample '' example = literalExample ''
{ {