alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity

Merge pull request #59995 from jonafato/gnomeExtensions.icon-hider-v23

Browse source 
gnomeExtensions.icon-hider: 21 -> 23
This commit is contained in:
worldofpeace 2019-04-21 21:47:11 -04:00 committed by GitHub
parent 2b0c513ff4 4916f338b5
commit ae294ea97a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
pkgs/desktops/gnome-3/extensions/icon-hider/default.nix
View file

@ -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;
};
}