nixpkgs/pkgs/desktops/gnome-3/extensions/mediaplayer/default.nix
2017-12-30 20:00:22 +01:00

36 lines
835 B
Nix

{ stdenv, fetchFromGitHub, glib, meson, gettext, ninja }:
stdenv.mkDerivation rec {
name = "gnome-shell-extensions-mediaplayer-${version}";
version = "3.5";
src = fetchFromGitHub {
owner = "JasonLG1979";
repo = "gnome-shell-extensions-mediaplayer";
rev = version;
sha256 = "0b8smid9vdybgs0601q9chlbgfm1rzrj3vmd3i6p2a5d1n4fyvsc";
};
nativeBuildInputs = [
meson
ninja
];
buildInputs = [
glib
gettext
];
postPatch = ''
rm build
chmod +x meson_post_install.py
patchShebangs meson_post_install.py
'';
meta = with stdenv.lib; {
description = "Control MPRIS Version 2 Capable Media Players";
license = licenses.gpl2Plus;
homepage = https://github.com/JasonLG1979/gnome-shell-extensions-mediaplayer/;
maintainers = with maintainers; [ tiramiseb ];
};
}