gnomeExtensions.mediaplayer: init at 3.5

This commit is contained in:
Sébastien Maccagnoni 2017-12-29 20:05:33 +01:00 committed by Jan Tojnar
parent 2c557e1663
commit 9db8e22679
No known key found for this signature in database
GPG key ID: 7FAB2A15F7A607A4
3 changed files with 38 additions and 0 deletions

View file

@ -663,6 +663,7 @@
thpham = "Thomas Pham <thomas.pham@ithings.ch>";
timbertson = "Tim Cuthbertson <tim@gfxmonk.net>";
timokau = "Timo Kaufmann <timokau@zoho.com>";
tiramiseb = "Sébastien Maccagnoni <sebastien@maccagnoni.eu>";
titanous = "Jonathan Rudenberg <jonathan@titanous.com>";
tnias = "Philipp Bartsch <phil@grmr.de>";
tohl = "Tomas Hlavaty <tom@logand.com>";

View file

@ -0,0 +1,36 @@
{ 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 ];
};
}

View file

@ -18593,6 +18593,7 @@ with pkgs;
caffeine = callPackage ../desktops/gnome-3/extensions/caffeine { };
dash-to-dock = callPackage ../desktops/gnome-3/extensions/dash-to-dock { };
dash-to-panel = callPackage ../desktops/gnome-3/extensions/dash-to-panel { };
mediaplayer = callPackage ../desktops/gnome-3/extensions/mediaplayer { };
topicons-plus = callPackage ../desktops/gnome-3/extensions/topicons-plus { };
};