diff options
author | Jon Banafato <jon@jonafato.com> | 2019-04-21 20:25:39 -0400 |
---|---|---|
committer | Jon Banafato <jon@jonafato.com> | 2019-04-21 20:39:34 -0400 |
commit | 4916f338b5180f5965d136469201499794ff2bab (patch) | |
tree | 9ecd348e6bd4a27ec21d12fbd945b59ddf526b68 /pkgs/desktops/gnome-3/extensions | |
parent | 2b0c513ff4e282fb9446b7470a3872118a926847 (diff) | |
download | nixpkgs-4916f338b5180f5965d136469201499794ff2bab.tar nixpkgs-4916f338b5180f5965d136469201499794ff2bab.tar.gz nixpkgs-4916f338b5180f5965d136469201499794ff2bab.tar.bz2 nixpkgs-4916f338b5180f5965d136469201499794ff2bab.tar.lz nixpkgs-4916f338b5180f5965d136469201499794ff2bab.tar.xz nixpkgs-4916f338b5180f5965d136469201499794ff2bab.tar.zst nixpkgs-4916f338b5180f5965d136469201499794ff2bab.zip |
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
Diffstat (limited to 'pkgs/desktops/gnome-3/extensions')
-rw-r--r-- | pkgs/desktops/gnome-3/extensions/icon-hider/default.nix | 9 |
1 files 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 f5069b8753b..d08e6f3a57d 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; }; } |