diff options
| author | piegames <git@piegames.de> | 2022-02-10 21:13:44 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-02-10 21:13:44 +0100 |
| commit | 1a7a5bf2e828e917d5a76e4fa001ef1e433cc4b5 (patch) | |
| tree | 5593e93611a7a252ea19aa27761fbfde4d6529d1 /pkgs/desktops/gnome | |
| parent | eb923275faa77fb67e24ad5ae313ec2d1b5c1401 (diff) | |
| parent | 833cc0db4e8cb050568c8c75f2cc842f93320a3c (diff) | |
| download | nixpkgs-1a7a5bf2e828e917d5a76e4fa001ef1e433cc4b5.tar nixpkgs-1a7a5bf2e828e917d5a76e4fa001ef1e433cc4b5.tar.gz nixpkgs-1a7a5bf2e828e917d5a76e4fa001ef1e433cc4b5.tar.bz2 nixpkgs-1a7a5bf2e828e917d5a76e4fa001ef1e433cc4b5.tar.lz nixpkgs-1a7a5bf2e828e917d5a76e4fa001ef1e433cc4b5.tar.xz nixpkgs-1a7a5bf2e828e917d5a76e4fa001ef1e433cc4b5.tar.zst nixpkgs-1a7a5bf2e828e917d5a76e4fa001ef1e433cc4b5.zip | |
Merge pull request #157147: gnomeExtensions.dash-to-panel: move to manual packaging
gnomeExtensions.dash-to-panel: fix wrongly shown version number and remove manual packaging (closes #157005)
Diffstat (limited to 'pkgs/desktops/gnome')
| -rw-r--r-- | pkgs/desktops/gnome/extensions/dash-to-panel/default.nix | 31 | ||||
| -rw-r--r-- | pkgs/desktops/gnome/extensions/manuallyPackaged.nix | 1 |
2 files changed, 0 insertions, 32 deletions
diff --git a/pkgs/desktops/gnome/extensions/dash-to-panel/default.nix b/pkgs/desktops/gnome/extensions/dash-to-panel/default.nix deleted file mode 100644 index 0d1f8df4f27..00000000000 --- a/pkgs/desktops/gnome/extensions/dash-to-panel/default.nix +++ /dev/null @@ -1,31 +0,0 @@ -{ lib, stdenv, fetchFromGitHub, glib, gettext }: - -stdenv.mkDerivation rec { - pname = "gnome-shell-extension-dash-to-panel"; - version = "45"; - - src = fetchFromGitHub { - owner = "home-sweet-gnome"; - repo = "dash-to-panel"; - rev = "v${version}"; - sha256 = "05bfd3b1g9zd86pl1rpgfqsmip271lasyfj8phpqf1gdds5yz6f6"; - }; - - buildInputs = [ - glib gettext - ]; - - makeFlags = [ "INSTALLBASE=$(out)/share/gnome-shell/extensions" ]; - - passthru = { - extensionUuid = "dash-to-panel@jderose9.github.com"; - extensionPortalSlug = "dash-to-panel"; - }; - - meta = with lib; { - description = "An icon taskbar for Gnome Shell"; - license = licenses.gpl2; - maintainers = with maintainers; [ mounium ]; - homepage = "https://github.com/jderose9/dash-to-panel"; - }; -} diff --git a/pkgs/desktops/gnome/extensions/manuallyPackaged.nix b/pkgs/desktops/gnome/extensions/manuallyPackaged.nix index a08af5734e4..28d0f32777a 100644 --- a/pkgs/desktops/gnome/extensions/manuallyPackaged.nix +++ b/pkgs/desktops/gnome/extensions/manuallyPackaged.nix @@ -2,7 +2,6 @@ { "arcmenu@arcmenu.com" = callPackage ./arcmenu { }; "clock-override@gnomeshell.kryogenix.org" = callPackage ./clock-override { }; - "dash-to-panel@jderose9.github.com" = callPackage ./dash-to-panel { }; "drop-down-terminal@gs-extensions.zzrough.org" = callPackage ./drop-down-terminal { }; "EasyScreenCast@iacopodeenosee.gmail.com" = callPackage ./EasyScreenCast { }; "emoji-selector@maestroschan.fr" = callPackage ./emoji-selector { }; |