Merge pull request #70462 from worldofpeace/gnome-extension-mpris

gnomeExtensions.mpris-indicator-button: init at 2019-09-29
This commit is contained in:
worldofpeace 2019-10-07 18:42:05 +00:00 committed by GitHub
commit 2bf1e8da24
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 34 additions and 1 deletions

View file

@ -0,0 +1,32 @@
{ stdenv
, fetchFromGitHub
, gnome3
}:
stdenv.mkDerivation rec {
pname = "gnome-shell-extension-mpris-indicator-button-unstable";
version = "2019-09-29";
src = fetchFromGitHub {
owner = "JasonLG1979";
repo = "gnome-shell-extension-mpris-indicator-button";
rev = "6cdc28a8bde98f25618b27ee48280996e2b4a0f8";
sha256 = "1n3sh3phpa75y3vpc09wnzhis0m92zli1m46amzsdbvmk6gkifif";
};
uuid = "mprisindicatorbutton@JasonLG1979.github.io";
installPhase = ''
mkdir -p $out/share/gnome-shell/extensions
cp -r ${uuid} $out/share/gnome-shell/extensions
'';
meta = with stdenv.lib; {
description = "A simple MPRIS indicator button for GNOME Shell";
license = licenses.gpl3;
maintainers = with maintainers; [ worldofpeace ];
platforms = gnome3.gnome-shell.meta.platforms;
homepage = "https://github.com/JasonLG1979/gnome-shell-extension-mpris-indicator-button";
broken = versionOlder gnome3.gnome-shell.version "3.34";
};
}

View file

@ -22803,8 +22803,9 @@ in
gsconnect = callPackage ../desktops/gnome-3/extensions/gsconnect { }; gsconnect = callPackage ../desktops/gnome-3/extensions/gsconnect { };
icon-hider = callPackage ../desktops/gnome-3/extensions/icon-hider { }; icon-hider = callPackage ../desktops/gnome-3/extensions/icon-hider { };
impatience = callPackage ../desktops/gnome-3/extensions/impatience.nix { }; impatience = callPackage ../desktops/gnome-3/extensions/impatience.nix { };
nohotcorner = callPackage ../desktops/gnome-3/extensions/nohotcorner { }; mpris-indicator-button = callPackage ../desktops/gnome-3/extensions/mpris-indicator-button { };
no-title-bar = callPackage ../desktops/gnome-3/extensions/no-title-bar { }; no-title-bar = callPackage ../desktops/gnome-3/extensions/no-title-bar { };
nohotcorner = callPackage ../desktops/gnome-3/extensions/nohotcorner { };
pidgin-im-integration = callPackage ../desktops/gnome-3/extensions/pidgin-im-integration { }; pidgin-im-integration = callPackage ../desktops/gnome-3/extensions/pidgin-im-integration { };
remove-dropdown-arrows = callPackage ../desktops/gnome-3/extensions/remove-dropdown-arrows { }; remove-dropdown-arrows = callPackage ../desktops/gnome-3/extensions/remove-dropdown-arrows { };
sound-output-device-chooser = callPackage ../desktops/gnome-3/extensions/sound-output-device-chooser { }; sound-output-device-chooser = callPackage ../desktops/gnome-3/extensions/sound-output-device-chooser { };