Merge pull request #25170 from emanueleperuffo/dash-to-dock

gnomeExtensions.dash-to-dock: init at version v57
This commit is contained in:
Michael Raskin 2017-05-01 16:44:37 +02:00 committed by GitHub
commit a53fb88d33
2 changed files with 30 additions and 0 deletions

View File

@ -0,0 +1,26 @@
{ stdenv, fetchFromGitHub, glib, gettext }:
stdenv.mkDerivation rec {
name = "gnome-shell-dash-to-dock-${version}";
version = "v57";
src = fetchFromGitHub {
owner = "micheleg";
repo = "dash-to-dock";
rev = "97f6a0bb95b9f87d7a34a074c9b3624b65111794";
sha256 = "0b9i89hpn9k63zcrbl4bhs7qfb70wh09870fwv2ik7hajm64kynn";
};
nativeBuildInputs = [
glib gettext
];
makeFlags = [ "INSTALLBASE=$(out)/share/gnome-shell/extensions" ];
meta = with stdenv.lib; {
description = "A dock for the Gnome Shell";
license = licenses.gpl2;
maintainers = with maintainers; [ eperuffo ];
homepage = https://micheleg.github.io/dash-to-dock/;
};
}

View File

@ -17226,6 +17226,10 @@ with pkgs;
gnome3 = gnome3_22;
gnomeExtensions = {
dash-to-dock = callPackage ../desktops/gnome-3/extensions/dash-to-dock { };
};
hsetroot = callPackage ../tools/X11/hsetroot { };
kakasi = callPackage ../tools/text/kakasi { };