jgmenu: optionally install a xfce4 panel plugin
- It is a contrib feature. - Default to false.
This commit is contained in:
parent
3baa8c1bdc
commit
be7b83b460
|
@ -8,6 +8,9 @@
|
|||
, menu-cache
|
||||
, xorg
|
||||
, makeWrapper
|
||||
, enableXfcePanelApplet ? false
|
||||
, xfce
|
||||
, gtk3
|
||||
}:
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
|
@ -35,6 +38,16 @@ stdenv.mkDerivation rec {
|
|||
xorg.libXinerama
|
||||
xorg.libXrandr
|
||||
python3Packages.python
|
||||
] ++ stdenv.lib.optionals enableXfcePanelApplet [
|
||||
gtk3
|
||||
xfce.libxfce4util
|
||||
xfce.xfce4-panel
|
||||
];
|
||||
|
||||
configureFlags = [
|
||||
]
|
||||
++ stdenv.lib.optionals enableXfcePanelApplet [
|
||||
"--with-xfce4-panel-applet"
|
||||
];
|
||||
|
||||
postFixup = ''
|
||||
|
|
Loading…
Reference in New Issue