diff options
Diffstat (limited to 'pkgs/desktops/gnome/extensions/dash-to-dock/default.nix')
-rw-r--r-- | pkgs/desktops/gnome/extensions/dash-to-dock/default.nix | 47 |
1 files changed, 0 insertions, 47 deletions
diff --git a/pkgs/desktops/gnome/extensions/dash-to-dock/default.nix b/pkgs/desktops/gnome/extensions/dash-to-dock/default.nix deleted file mode 100644 index 51681584672c..000000000000 --- a/pkgs/desktops/gnome/extensions/dash-to-dock/default.nix +++ /dev/null @@ -1,47 +0,0 @@ -{ stdenv -, lib -, fetchFromGitHub -, glib -, gettext -, sassc -, gitUpdater -}: - -stdenv.mkDerivation rec { - pname = "gnome-shell-extension-dash-to-dock"; - version = "80"; - - # Temporarily switched to commit hash because stable version is buggy. - src = fetchFromGitHub { - owner = "micheleg"; - repo = "dash-to-dock"; - rev = "extensions.gnome.org-v${version}"; - sha256 = "sha256-b9XdLd4tcgp+B8HDlJZXjpJI3x5KE/YwckKd9+VA2Sk="; - }; - - nativeBuildInputs = [ - glib - gettext - sassc - ]; - - makeFlags = [ - "INSTALLBASE=${placeholder "out"}/share/gnome-shell/extensions" - ]; - - passthru = { - extensionUuid = "dash-to-dock@micxgx.gmail.com"; - extensionPortalSlug = "dash-to-dock"; - - updateScript = gitUpdater { - rev-prefix = "extensions.gnome.org-v"; - }; - }; - - meta = with lib; { - description = "A dock for the Gnome Shell"; - homepage = "https://micheleg.github.io/dash-to-dock/"; - license = licenses.gpl2Plus; - maintainers = with maintainers; [ eperuffo jtojnar rhoriguchi ]; - }; -} |