1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
|
{
lib,
stdenv,
fetchFromGitHub,
pkg-config,
python3Packages,
pango,
librsvg,
libxfce4util,
libxml2,
menu-cache,
libxrandr,
libxinerama,
makeWrapper,
enableXfcePanelApplet ? false,
xfce4-panel,
gtk3,
gitUpdater,
}:
stdenv.mkDerivation (finalAttrs: {
pname = "jgmenu";
version = "4.6.0";
src = fetchFromGitHub {
owner = "jgmenu";
repo = "jgmenu";
rev = "v${finalAttrs.version}";
sha256 = "sha256-1Vwzm7DVMwtSZW7GDWEMVPHi09orXlFiKR6XMJ337Dg=";
};
nativeBuildInputs = [
pkg-config
makeWrapper
python3Packages.wrapPython
];
buildInputs = [
pango
librsvg
libxml2
menu-cache
libxinerama
libxrandr
python3Packages.python
]
++ lib.optionals enableXfcePanelApplet [
gtk3
libxfce4util
xfce4-panel
];
configureFlags = [
]
++ lib.optionals enableXfcePanelApplet [
"--with-xfce4-panel-applet"
];
postFixup = ''
wrapPythonProgramsIn "$out/lib/jgmenu"
for f in $out/bin/jgmenu{,_run}; do
wrapProgram $f --prefix PATH : $out/bin
done
'';
passthru.updateScript = gitUpdater { rev-prefix = "v"; };
meta = {
homepage = "https://github.com/jgmenu/jgmenu";
description = "Small X11 menu intended to be used with openbox and tint2";
license = lib.licenses.gpl2Plus;
platforms = lib.platforms.linux;
maintainers = [ lib.maintainers.romildo ];
};
})
|
