Merge pull request #15546 from romildo/new.pmenu

pmenu: init at 2016-05-13
This commit is contained in:
Arseniy Seroka 2016-05-19 02:07:02 +04:00
commit 0c1bd3ee66
2 changed files with 42 additions and 0 deletions

View file

@ -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 ];
};
}

View file

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