mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-11-21 13:10:33 +00:00
rofi: add plugins' share directories to XDG_DATA_DIRS
This commit is contained in:
parent
7fce01fd6a
commit
f0fe89357e
|
@ -18,6 +18,7 @@ symlinkJoin {
|
||||||
rm $out/bin/rofi
|
rm $out/bin/rofi
|
||||||
makeWrapper ${rofi-unwrapped}/bin/rofi $out/bin/rofi \
|
makeWrapper ${rofi-unwrapped}/bin/rofi $out/bin/rofi \
|
||||||
--prefix XDG_DATA_DIRS : ${hicolor-icon-theme}/share \
|
--prefix XDG_DATA_DIRS : ${hicolor-icon-theme}/share \
|
||||||
|
${lib.optionalString (plugins != []) ''--prefix XDG_DATA_DIRS : ${lib.concatStringsSep ":" (lib.forEach plugins (p: "${p.out}/share"))}''} \
|
||||||
${lib.optionalString (theme != null) ''--add-flags "-theme ${theme}"''} \
|
${lib.optionalString (theme != null) ''--add-flags "-theme ${theme}"''} \
|
||||||
${lib.optionalString (plugins != []) ''--add-flags "-plugin-path $out/lib/rofi"''}
|
${lib.optionalString (plugins != []) ''--add-flags "-plugin-path $out/lib/rofi"''}
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue