pmenu: init at 2016-05-13

This commit is contained in:
José Romildo Malaquias 2016-05-18 17:57:59 -03:00
parent 7ca412a2fa
commit 5d33861d13
2 changed files with 42 additions and 0 deletions

@ -0,0 +1,40 @@
{ stdenv, fetchFromGitLab, pythonPackages, gnome }:
stdenv.mkDerivation rec {
name = "pmenu-${version}";
version = "2016-05-13";
src = fetchFromGitLab {
owner = "o9000";
repo = "pmenu";
rev = "90b722de345cff56f8ec0908a0e8a7d733c0c671";
sha256 = "15bkvadr7ab44mc8gkdqs3w14cm498mwf72w5rjm2rdh55357jjh";
};
nativeBuildInputs = [ pythonPackages.wrapPython ];
buildInputs = [ pythonPackages.pygtk gnome.gnome_menus ];
pythonPath = [ pythonPackages.pygtk ];
patchPhase = ''
substituteInPlace install.sh --replace "/usr/local" "$out"
'';
installPhase = ''
mkdir -p $out/bin $out/share/applications
./install.sh
'';
postFixup = ''
wrapPythonPrograms
'';
meta = {
homepage = https://gitlab.com/o9000/pmenu;
description = "Start menu for Linux/BSD";
license = stdenv.lib.licenses.gpl2;
platforms = stdenv.lib.platforms.unix;
maintainers = [ stdenv.lib.maintainers.romildo ];
};
}

@ -13739,6 +13739,8 @@ in
plugin-torture = callPackage ../applications/audio/plugin-torture { };
pmenu = callPackage ../applications/misc/pmenu { };
poezio = python3Packages.poezio;
pommed = callPackage ../os-specific/linux/pommed {};