From 4916f338b5180f5965d136469201499794ff2bab Mon Sep 17 00:00:00 2001 From: Jon Banafato Date: Sun, 21 Apr 2019 20:25:39 -0400 Subject: gnomeExtensions.icon-hider: 21 -> 23 Upgrade to the latest version, now with GNOME 3.32 support. Mark as not broken. Full changelog available at https://github.com/ikalnytskyi/gnome-shell-extension-icon-hider/compare/v21...v23 --- pkgs/desktops/gnome-3/extensions/icon-hider/default.nix | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/pkgs/desktops/gnome-3/extensions/icon-hider/default.nix b/pkgs/desktops/gnome-3/extensions/icon-hider/default.nix index f5069b8753b5..d08e6f3a57df 100644 --- a/pkgs/desktops/gnome-3/extensions/icon-hider/default.nix +++ b/pkgs/desktops/gnome-3/extensions/icon-hider/default.nix @@ -1,14 +1,14 @@ -{ stdenv, fetchFromGitHub }: +{ stdenv, fetchFromGitHub, gnome3 }: stdenv.mkDerivation rec { name = "gnome-shell-extension-icon-hider-${version}"; - version = "21"; + version = "23"; src = fetchFromGitHub { owner = "ikalnytskyi"; repo = "gnome-shell-extension-icon-hider"; rev = "v${version}"; - sha256 = "0l0jb0ishaq00d4kdfvv5p7pj7b45dz57y3j2ihqr695bzb6b9hr"; + sha256 = "18c8zkdrmdbghqqz7b450vhgpykgz25mgigwn2nggcb2lxmvm9ks"; }; uuid = "icon-hider@kalnitsky.org"; @@ -21,9 +21,8 @@ stdenv.mkDerivation rec { meta = with stdenv.lib; { description = "Icon Hider is a GNOME Shell extension for managing status area items"; license = licenses.bsd3; - broken = true; # not compatable with latest GNOME maintainers = with maintainers; [ jonafato ]; - platforms = platforms.linux; + platforms = gnome3.gnome-shell.meta.platforms; homepage = https://github.com/ikalnytskyi/gnome-shell-extension-icon-hider; }; } -- cgit 1.4.1