Merge pull request #33177 from Mounium/gnome-ext

dash-to-panel: init at v11
This commit is contained in:
adisbladis 2017-12-29 23:35:17 +01:00 committed by GitHub
commit 612e1acb6b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 27 additions and 0 deletions

View File

@ -0,0 +1,26 @@
{ stdenv, fetchFromGitHub, glib, gettext }:
stdenv.mkDerivation rec {
name = "gnome-shell-dash-to-panel-${version}";
version = "11";
src = fetchFromGitHub {
owner = "jderose9";
repo = "dash-to-panel";
rev = "v${version}";
sha256 = "1bfcnrhw6w8yrz8sw520kwwshmplkg4awpvz07kg4d73m6zn4mw2";
};
buildInputs = [
glib gettext
];
makeFlags = [ "INSTALLBASE=$(out)/share/gnome-shell/extensions" ];
meta = with stdenv.lib; {
description = "An icon taskbar for Gnome Shell";
license = licenses.gpl2;
maintainers = with maintainers; [ mounium ];
homepage = https://github.com/jderose9/dash-to-panel;
};
}

View File

@ -18585,6 +18585,7 @@ with pkgs;
gnomeExtensions = {
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 { };
topicons-plus = callPackage ../desktops/gnome-3/extensions/topicons-plus { };
};