diff options
author | piegames <git@piegames.de> | 2021-05-29 18:23:51 +0200 |
---|---|---|
committer | piegames <git@piegames.de> | 2021-07-14 03:35:11 +0200 |
commit | 9dcb9aecc1eeb1315c128efd7fc681b2c5a34838 (patch) | |
tree | f74a845cc96b31fe841e44433bab1eab8a5895de /pkgs/desktops | |
parent | ee5b47ecc29ead14fdc359699b94ca41fcf449b9 (diff) | |
download | nixpkgs-9dcb9aecc1eeb1315c128efd7fc681b2c5a34838.tar nixpkgs-9dcb9aecc1eeb1315c128efd7fc681b2c5a34838.tar.gz nixpkgs-9dcb9aecc1eeb1315c128efd7fc681b2c5a34838.tar.bz2 nixpkgs-9dcb9aecc1eeb1315c128efd7fc681b2c5a34838.tar.lz nixpkgs-9dcb9aecc1eeb1315c128efd7fc681b2c5a34838.tar.xz nixpkgs-9dcb9aecc1eeb1315c128efd7fc681b2c5a34838.tar.zst nixpkgs-9dcb9aecc1eeb1315c128efd7fc681b2c5a34838.zip |
gnomeExtensions.material-shell: Remove manual packaging
Diffstat (limited to 'pkgs/desktops')
-rw-r--r-- | pkgs/desktops/gnome/extensions/manuallyPackaged.nix | 1 | ||||
-rw-r--r-- | pkgs/desktops/gnome/extensions/material-shell/default.nix | 35 |
2 files changed, 0 insertions, 36 deletions
diff --git a/pkgs/desktops/gnome/extensions/manuallyPackaged.nix b/pkgs/desktops/gnome/extensions/manuallyPackaged.nix index 832e25461f5..3af27180bd1 100644 --- a/pkgs/desktops/gnome/extensions/manuallyPackaged.nix +++ b/pkgs/desktops/gnome/extensions/manuallyPackaged.nix @@ -19,7 +19,6 @@ "hotedge@jonathan.jdoda.ca" = callPackage ./hot-edge { }; "icon-hider@kalnitsky.org" = callPackage ./icon-hider { }; "impatience@gfxmonk.net" = callPackage ./impatience { }; - "material-shell@papyelgringo" = callPackage ./material-shell { }; "nightthemeswitcher@romainvigier.fr" = callPackage ./night-theme-switcher { }; "no-title-bar@jonaspoehler.de" = callPackage ./no-title-bar { }; "paperwm@hedning:matrix.org" = callPackage ./paperwm { }; diff --git a/pkgs/desktops/gnome/extensions/material-shell/default.nix b/pkgs/desktops/gnome/extensions/material-shell/default.nix deleted file mode 100644 index 9b683c1af6b..00000000000 --- a/pkgs/desktops/gnome/extensions/material-shell/default.nix +++ /dev/null @@ -1,35 +0,0 @@ -{ stdenv, lib, fetchFromGitHub, gnome }: - -stdenv.mkDerivation rec { - pname = "gnome-shell-extension-material-shell"; - version = "12"; - - src = fetchFromGitHub { - owner = "material-shell"; - repo = "material-shell"; - rev = version; - sha256 = "0ikrh70drwr0pqjcdz7l1ky8xllpnk7myprjd4s61nqkx9j2iz44"; - }; - - # This package has a Makefile, but it's used for building a zip for - # publication to extensions.gnome.org. Disable the build phase so - # installing doesn't build an unnecessary release. - dontBuild = true; - - installPhase = '' - runHook preInstall - mkdir -p $out/share/gnome-shell/extensions/${uuid} - cp -r * $out/share/gnome-shell/extensions/${uuid}/ - runHook postInstall - ''; - - uuid = "material-shell@papyelgringo"; - - meta = with lib; { - description = "A modern desktop interface for Linux"; - license = licenses.mit; - maintainers = with maintainers; [ benley ]; - homepage = "https://github.com/material-shell/material-shell"; - platforms = gnome.gnome-shell.meta.platforms; - }; -} |