diff options
author | Mx Kookie <kookie@spacekookie.de> | 2020-12-09 18:55:19 +0000 |
---|---|---|
committer | Mx Kookie <kookie@spacekookie.de> | 2020-12-09 18:55:19 +0000 |
commit | 80d90d9b204f7c17912740f9f414fe5d59f293ba (patch) | |
tree | 5f2065a06e724270610760d59d01c6888b375a46 /infra/libkookie/nixpkgs/pkgs/desktops/gnome-3/extensions/material-shell/default.nix | |
parent | 3a31a84c7d3e589035ad08499206aac44a81f424 (diff) | |
parent | 83cbad92d73216bb0d9187c56cce0b91f9121d5a (diff) |
Merge commit '83cbad92d73216bb0d9187c56cce0b91f9121d5a' into main
Diffstat (limited to 'infra/libkookie/nixpkgs/pkgs/desktops/gnome-3/extensions/material-shell/default.nix')
-rw-r--r-- | infra/libkookie/nixpkgs/pkgs/desktops/gnome-3/extensions/material-shell/default.nix | 15 |
1 files changed, 3 insertions, 12 deletions
diff --git a/infra/libkookie/nixpkgs/pkgs/desktops/gnome-3/extensions/material-shell/default.nix b/infra/libkookie/nixpkgs/pkgs/desktops/gnome-3/extensions/material-shell/default.nix index 36de0e0a66a0..1b8341a281f8 100644 --- a/infra/libkookie/nixpkgs/pkgs/desktops/gnome-3/extensions/material-shell/default.nix +++ b/infra/libkookie/nixpkgs/pkgs/desktops/gnome-3/extensions/material-shell/default.nix @@ -1,25 +1,16 @@ -{ stdenv, lib, fetchFromGitHub, gnome3, fetchpatch }: +{ stdenv, lib, fetchFromGitHub, gnome3 }: stdenv.mkDerivation rec { pname = "gnome-shell-extension-material-shell"; - version = "7"; + version = "10"; src = fetchFromGitHub { owner = "material-shell"; repo = "material-shell"; rev = version; - sha256 = "076cv1l5qr5x71przjwvbzx0m91n4z0byc2gc3r48l8vsr2d0hwf"; + sha256 = "18d813n8s7ns8xp75zmlna7a8mi23rn9yqps51xvdd0sdgn72a1c"; }; - patches = [ - # Fix for https://github.com/material-shell/material-shell/issues/284 - # (Remove this patch when updating to version >= 8) - (fetchpatch { - url = "https://github.com/material-shell/material-shell/commit/fc27489a1ec503a4a5c7cb2f4e1eefa84a7ea2f1.patch"; - sha256 = "0x2skg955c4jqgwbkfhk7plm8bh1qnk66cdds796bzkp3hb5syw8"; - }) - ]; - # 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. |