diff options
Diffstat (limited to 'pkgs/desktops')
-rw-r--r-- | pkgs/desktops/gnome/extensions/dash-to-dock/default.nix | 47 | ||||
-rw-r--r-- | pkgs/desktops/gnome/extensions/extensionOverrides.nix | 4 | ||||
-rw-r--r-- | pkgs/desktops/gnome/extensions/manuallyPackaged.nix | 1 |
3 files changed, 4 insertions, 48 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 51681584672cc..0000000000000 --- 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 ]; - }; -} diff --git a/pkgs/desktops/gnome/extensions/extensionOverrides.nix b/pkgs/desktops/gnome/extensions/extensionOverrides.nix index 394abf3577eb1..491ab01387b54 100644 --- a/pkgs/desktops/gnome/extensions/extensionOverrides.nix +++ b/pkgs/desktops/gnome/extensions/extensionOverrides.nix @@ -42,6 +42,10 @@ super: lib.trivial.pipe super [ meta.maintainers = with lib.maintainers; [ eperuffo ]; })) + (patchExtension "dash-to-dock@micxgx.gmail.com" (old: { + meta.maintainers = with lib.maintainers; [ rhoriguchi ]; + })) + (patchExtension "ddterm@amezin.github.com" (old: { # Requires gjs, zenity & vte via the typelib nativeBuildInputs = [ gobject-introspection wrapGAppsHook ]; diff --git a/pkgs/desktops/gnome/extensions/manuallyPackaged.nix b/pkgs/desktops/gnome/extensions/manuallyPackaged.nix index 37627846a62cd..80a71dd2cde34 100644 --- a/pkgs/desktops/gnome/extensions/manuallyPackaged.nix +++ b/pkgs/desktops/gnome/extensions/manuallyPackaged.nix @@ -3,7 +3,6 @@ "arcmenu@arcmenu.com" = callPackage ./arcmenu { }; "argos@pew.worldwidemann.com" = callPackage ./argos { }; "clock-override@gnomeshell.kryogenix.org" = callPackage ./clock-override { }; - "dash-to-dock@micxgx.gmail.com" = callPackage ./dash-to-dock { }; "drop-down-terminal@gs-extensions.zzrough.org" = callPackage ./drop-down-terminal { }; "EasyScreenCast@iacopodeenosee.gmail.com" = callPackage ./EasyScreenCast { }; "gsconnect@andyholmes.github.io" = callPackage ./gsconnect { }; |