diff options
author | zimbatm <zimbatm@zimbatm.com> | 2016-05-05 23:07:37 +0100 |
---|---|---|
committer | zimbatm <zimbatm@zimbatm.com> | 2016-05-05 23:07:37 +0100 |
commit | 249dcabb33bfa2db2f7a8568c1662069d29f1f44 (patch) | |
tree | eff817e6024ce30c88c1ca0f0a6e60819618f2bd /pkgs/desktops | |
parent | 29ddb150c8e21618c59bed626e2e008f74fd368e (diff) | |
parent | 0e5122637b8d5f2b3e6328d9202e26ad26c81931 (diff) | |
download | nixpkgs-249dcabb33bfa2db2f7a8568c1662069d29f1f44.tar nixpkgs-249dcabb33bfa2db2f7a8568c1662069d29f1f44.tar.gz nixpkgs-249dcabb33bfa2db2f7a8568c1662069d29f1f44.tar.bz2 nixpkgs-249dcabb33bfa2db2f7a8568c1662069d29f1f44.tar.lz nixpkgs-249dcabb33bfa2db2f7a8568c1662069d29f1f44.tar.xz nixpkgs-249dcabb33bfa2db2f7a8568c1662069d29f1f44.tar.zst nixpkgs-249dcabb33bfa2db2f7a8568c1662069d29f1f44.zip |
Merge pull request #14679 from aneeshusa/add-gnome-shell-extensions
Add gnome shell extensions
Diffstat (limited to 'pkgs/desktops')
-rw-r--r-- | pkgs/desktops/gnome-3/extensions/impatience.nix | 34 | ||||
-rw-r--r-- | pkgs/desktops/gnome-3/extensions/system-monitor.nix | 34 | ||||
-rw-r--r-- | pkgs/desktops/gnome-3/extensions/volume-mixer.nix | 34 | ||||
-rw-r--r-- | pkgs/desktops/gnome-3/extensions/workspace-grid.nix | 30 |
4 files changed, 132 insertions, 0 deletions
diff --git a/pkgs/desktops/gnome-3/extensions/impatience.nix b/pkgs/desktops/gnome-3/extensions/impatience.nix new file mode 100644 index 00000000000..d82ff652bd0 --- /dev/null +++ b/pkgs/desktops/gnome-3/extensions/impatience.nix @@ -0,0 +1,34 @@ +{ stdenv, fetchFromGitHub, glib }: + +stdenv.mkDerivation rec { + name = "gnome-shell-impatience-${version}"; + version = "6564c21e4caf4a6bc5fe2bf21116d7c15408d494"; + + src = fetchFromGitHub { + owner = "timbertson"; + repo = "gnome-shell-impatience"; + rev = version; + sha256 = "10zyj42i07dcvaciv47qgkcs5g5n2bpc8a0m6fsimfi0442iwlcn"; + }; + + buildInputs = [ + glib + ]; + + buildPhase = '' + make schemas + ''; + + installPhase = '' + cp -r impatience $out + ''; + + uuid = "impatience@gfxmonk.net"; + + meta = with stdenv.lib; { + description = "Speed up builtin gnome-shell animations"; + license = licenses.gpl3Plus; + maintainers = with maintainers; [ aneeshusa timbertson ]; + homepage = http://gfxmonk.net/dist/0install/gnome-shell-impatience.xml; + }; +} diff --git a/pkgs/desktops/gnome-3/extensions/system-monitor.nix b/pkgs/desktops/gnome-3/extensions/system-monitor.nix new file mode 100644 index 00000000000..f9b13df7f76 --- /dev/null +++ b/pkgs/desktops/gnome-3/extensions/system-monitor.nix @@ -0,0 +1,34 @@ +{ stdenv, fetchFromGitHub, glib }: + +stdenv.mkDerivation rec { + name = "gnome-shell-system-monitor-${version}"; + version = "8b31f070e9e59109d729661ced313d6a63e31787"; + + src = fetchFromGitHub { + owner = "paradoxxxzero"; + repo = "gnome-shell-system-monitor-applet"; + rev = version; + sha256 = "0fm5zb6qp53jjy2mnkb8ybxygzjwpb314giiq0ywq87hhrpch8m3"; + }; + + buildInputs = [ + glib + ]; + + buildPhase = '' + ${glib}/bin/glib-compile-schemas --targetdir=${uuid}/schemas ${uuid}/schemas + ''; + + installPhase = '' + cp -r ${uuid} $out + ''; + + uuid = "system-monitor@paradoxxx.zero.gmail.com"; + + meta = with stdenv.lib; { + description = "Display system informations in gnome shell status bar"; + license = licenses.gpl3Plus; + maintainers = with maintainers; [ aneeshusa ]; + homepage = https://github.com/paradoxxxzero/gnome-shell-system-monitor-applet; + }; +} diff --git a/pkgs/desktops/gnome-3/extensions/volume-mixer.nix b/pkgs/desktops/gnome-3/extensions/volume-mixer.nix new file mode 100644 index 00000000000..845d21f5219 --- /dev/null +++ b/pkgs/desktops/gnome-3/extensions/volume-mixer.nix @@ -0,0 +1,34 @@ +{ stdenv, fetchFromGitHub, glib }: + +stdenv.mkDerivation rec { + name = "gnome-shell-volume-mixer-${version}"; + version = "844ed80ad448855d8f6218847183a80474b523c7"; + + src = fetchFromGitHub { + owner = "aleho"; + repo = "gnome-shell-volume-mixer"; + rev = version; + sha256 = "1vcj2spbymhdi1nazvhldvcfgad23r3h7f0ihh4nianbxn7hjs9w"; + }; + + buildInputs = [ + glib + ]; + + buildPhase = '' + ${glib}/bin/glib-compile-schemas --targetdir=${uuid}/schemas ${uuid}/schemas + ''; + + installPhase = '' + cp -r ${uuid} $out + ''; + + uuid = "shell-volume-mixer@derhofbauer.at"; + + meta = with stdenv.lib; { + description = "GNOME Shell Extension allowing separate configuration of PulseAudio devices"; + license = licenses.gpl2; + maintainers = with maintainers; [ aneeshusa ]; + homepage = https://github.com/aleho/gnome-shell-volume-mixer; + }; +} diff --git a/pkgs/desktops/gnome-3/extensions/workspace-grid.nix b/pkgs/desktops/gnome-3/extensions/workspace-grid.nix new file mode 100644 index 00000000000..10aee5cafe6 --- /dev/null +++ b/pkgs/desktops/gnome-3/extensions/workspace-grid.nix @@ -0,0 +1,30 @@ +{ stdenv, fetchFromGitHub, glib }: + +stdenv.mkDerivation rec { + name = "gnome-shell-workspace-grid-${version}"; + version = "0f3a430e7d04bb5465a17c1225aab0f574426d6b"; + + src = fetchFromGitHub { + owner = "zakkak"; + repo = "workspace-grid-gnome-shell-extension"; + rev = version; + sha256 = "0503b7lmydrbblfvf9b56pv5hpmykzgyc6v8y99rckg58h2jhs69"; + }; + + buildInputs = [ + glib + ]; + + installPhase = '' + cp -r ${uuid} $out + ''; + + uuid = "workspace-grid@mathematical.coffee.gmail.com"; + + meta = with stdenv.lib; { + description = "Arranges workspaces in a configurable grid"; + license = licenses.gpl3Plus; + maintainers = with maintainers; [ aneeshusa ]; + homepage = https://github.com/zakkak/workspace-grid-gnome-shell-extension; + }; +} |