add dolphin services menu
This commit is contained in:
parent
cd6fe73b8e
commit
f7a4fc0d8d
7 changed files with 71 additions and 52 deletions
|
|
@ -23,7 +23,17 @@ in {
|
|||
force = true;
|
||||
};
|
||||
}
|
||||
# (lib.attrsToList config.programs.dolphin.services-menu)z
|
||||
(builtins.listToAttrs (builtins.map
|
||||
({
|
||||
name,
|
||||
value,
|
||||
}: {
|
||||
name = ".local/share/kio/servicemenus/${name}.desktop";
|
||||
value = {
|
||||
text = lib.generators.toINI {} value;
|
||||
};
|
||||
})
|
||||
(lib.attrsToList config.programs.dolphin.services-menu)))
|
||||
];
|
||||
};
|
||||
|
||||
|
|
@ -415,7 +425,7 @@ in {
|
|||
};
|
||||
|
||||
services-menu = lib.mkOption {
|
||||
type = lib.types.attrsOf (lib.types.attrsOf lib.types.str);
|
||||
type = lib.types.attrsOf (lib.types.attrsOf (lib.types.attrsOf lib.types.str));
|
||||
default = {};
|
||||
};
|
||||
};
|
||||
|
|
|
|||
Reference in a new issue