diff options
| author | worldofpeace <worldofpeace@protonmail.ch> | 2019-09-23 18:26:52 -0400 |
|---|---|---|
| committer | Jan Tojnar <jtojnar@gmail.com> | 2019-10-03 00:09:14 +0200 |
| commit | d935c9bc59a206ba552f27f488451179e26ddb71 (patch) | |
| tree | fcf898b5a8e703cb38d48de525b76ebd1f206a89 /pkgs/desktops/gnome-3/extensions | |
| parent | dac8bf9ed5bbbcac38a8091c1234f79bc98e2678 (diff) | |
| download | nixlib-d935c9bc59a206ba552f27f488451179e26ddb71.tar nixlib-d935c9bc59a206ba552f27f488451179e26ddb71.tar.gz nixlib-d935c9bc59a206ba552f27f488451179e26ddb71.tar.bz2 nixlib-d935c9bc59a206ba552f27f488451179e26ddb71.tar.lz nixlib-d935c9bc59a206ba552f27f488451179e26ddb71.tar.xz nixlib-d935c9bc59a206ba552f27f488451179e26ddb71.tar.zst nixlib-d935c9bc59a206ba552f27f488451179e26ddb71.zip | |
gnomeExtensions.mediaplayer: remove
Source repo is archived and the extension was retired [0] [0]: https://github.com/JasonLG1979/gnome-shell-extensions-mediaplayer/blob/master/README.md
Diffstat (limited to 'pkgs/desktops/gnome-3/extensions')
| -rw-r--r-- | pkgs/desktops/gnome-3/extensions/mediaplayer/default.nix | 37 |
1 files changed, 0 insertions, 37 deletions
diff --git a/pkgs/desktops/gnome-3/extensions/mediaplayer/default.nix b/pkgs/desktops/gnome-3/extensions/mediaplayer/default.nix deleted file mode 100644 index 10175719e46c..000000000000 --- a/pkgs/desktops/gnome-3/extensions/mediaplayer/default.nix +++ /dev/null @@ -1,37 +0,0 @@ -{ stdenv, fetchFromGitHub, glib, meson, gettext, ninja, python3 }: - -stdenv.mkDerivation { - pname = "gnome-shell-extensions-mediaplayer"; - version = "unstable-2019-03-21"; - - src = fetchFromGitHub { - owner = "JasonLG1979"; - repo = "gnome-shell-extensions-mediaplayer"; - rev = "b382c98481fa421501684e2ff3eafc53971ef22b"; - sha256 = "01z2dml8dvl5sljw62g7x19mz02dz1g4gkmyp0h5bx49djcw1nnh"; - }; - - nativeBuildInputs = [ - meson - ninja - python3 - ]; - 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 ]; - }; -} - |