diff options
| author | Jon Banafato <jon@jonafato.com> | 2018-01-30 22:26:56 -0500 |
|---|---|---|
| committer | Jan Tojnar <jtojnar@gmail.com> | 2018-02-02 00:16:11 +0100 |
| commit | d2e518c4c57cd985a4965e560d72e45a6ff1fa49 (patch) | |
| tree | ff9ef8da71834e379752356cebc94b3c2fae0603 | |
| parent | a39fb2483b34029457c8ad5ed10a8344a24e5340 (diff) | |
| download | nixlib-d2e518c4c57cd985a4965e560d72e45a6ff1fa49.tar nixlib-d2e518c4c57cd985a4965e560d72e45a6ff1fa49.tar.gz nixlib-d2e518c4c57cd985a4965e560d72e45a6ff1fa49.tar.bz2 nixlib-d2e518c4c57cd985a4965e560d72e45a6ff1fa49.tar.lz nixlib-d2e518c4c57cd985a4965e560d72e45a6ff1fa49.tar.xz nixlib-d2e518c4c57cd985a4965e560d72e45a6ff1fa49.tar.zst nixlib-d2e518c4c57cd985a4965e560d72e45a6ff1fa49.zip | |
gnomeExtensions.icon-hider: init at 19
Add the Icon Hider GNOME Shell extension.
| -rw-r--r-- | pkgs/desktops/gnome-3/extensions/icon-hider/default.nix | 28 | ||||
| -rw-r--r-- | pkgs/top-level/all-packages.nix | 1 |
2 files changed, 29 insertions, 0 deletions
diff --git a/pkgs/desktops/gnome-3/extensions/icon-hider/default.nix b/pkgs/desktops/gnome-3/extensions/icon-hider/default.nix new file mode 100644 index 000000000000..7ad26a7c6d42 --- /dev/null +++ b/pkgs/desktops/gnome-3/extensions/icon-hider/default.nix @@ -0,0 +1,28 @@ +{ stdenv, fetchFromGitHub }: + +stdenv.mkDerivation rec { + name = "gnome-shell-extension-icon-hider-${version}"; + version = "19"; + + src = fetchFromGitHub { + owner = "ikalnytskyi"; + repo = "gnome-shell-extension-icon-hider"; + rev = "v${version}"; + sha256 = "0cifm6cmxwxrrrva41wvjvrzsdqaczfbillf2vv3wsb60dqr6h39"; + }; + + uuid = "icon-hider@kalnitsky.org"; + + installPhase = '' + mkdir -p $out/share/gnome-shell/extensions + cp -r ${uuid} $out/share/gnome-shell/extensions + ''; + + meta = with stdenv.lib; { + description = "Icon Hider is a GNOME Shell extension for managing status area items"; + license = licenses.bsd3; + maintainers = with maintainers; [ jonafato ]; + platforms = platforms.linux; + homepage = https://github.com/ikalnytskyi/gnome-shell-extension-icon-hider; + }; +} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 6f53d06e1867..7275950f1031 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -18876,6 +18876,7 @@ with pkgs; caffeine = callPackage ../desktops/gnome-3/extensions/caffeine { }; dash-to-dock = callPackage ../desktops/gnome-3/extensions/dash-to-dock { }; dash-to-panel = callPackage ../desktops/gnome-3/extensions/dash-to-panel { }; + icon-hider = callPackage ../desktops/gnome-3/extensions/icon-hider { }; mediaplayer = callPackage ../desktops/gnome-3/extensions/mediaplayer { }; nohotcorner = callPackage ../desktops/gnome-3/extensions/nohotcorner { }; pixel-saver = callPackage ../desktops/gnome-3/extensions/pixel-saver { }; |