summary refs log tree commit diff
diff options
context:
space:
mode:
authorChuck <chuck@intelligence.org>2019-12-06 14:35:18 -0800
committerChuck <chuck@intelligence.org>2019-12-08 13:53:18 -0800
commit1e97dbb405282f07f2c46ab108b7ec238f39ceb0 (patch)
tree3e76e6b32e47fe336909055973956ab77f773a43
parent88f24e842b9c3acd347410d17c2211551a20df8a (diff)
downloadnixpkgs-1e97dbb405282f07f2c46ab108b7ec238f39ceb0.tar
nixpkgs-1e97dbb405282f07f2c46ab108b7ec238f39ceb0.tar.gz
nixpkgs-1e97dbb405282f07f2c46ab108b7ec238f39ceb0.tar.bz2
nixpkgs-1e97dbb405282f07f2c46ab108b7ec238f39ceb0.tar.lz
nixpkgs-1e97dbb405282f07f2c46ab108b7ec238f39ceb0.tar.xz
nixpkgs-1e97dbb405282f07f2c46ab108b7ec238f39ceb0.tar.zst
nixpkgs-1e97dbb405282f07f2c46ab108b7ec238f39ceb0.zip
gnomeExtensions.workspace-matrix: Init at 3.0.0
-rw-r--r--pkgs/desktops/gnome-3/extensions/workspace-matrix/default.nix34
-rw-r--r--pkgs/top-level/all-packages.nix1
2 files changed, 35 insertions, 0 deletions
diff --git a/pkgs/desktops/gnome-3/extensions/workspace-matrix/default.nix b/pkgs/desktops/gnome-3/extensions/workspace-matrix/default.nix
new file mode 100644
index 00000000000..ca4b72111c6
--- /dev/null
+++ b/pkgs/desktops/gnome-3/extensions/workspace-matrix/default.nix
@@ -0,0 +1,34 @@
+{ stdenv, fetchFromGitHub, findutils, glib }:
+
+stdenv.mkDerivation rec {
+  pname = "gnome-shell-extension-workspace-matrix";
+  version = "3.0.0";
+
+  src = fetchFromGitHub {
+    owner = "mzur";
+    repo = "gnome-shell-wsmatrix";
+    rev = "v${version}";
+    sha256 = "1fgyzmd16kklcca7600bwg8w8pbb4klmapqsvmahlwa99vmkhfkn";
+  };
+
+  uuid = "wsmatrix@martin.zurowietz.de";
+
+  nativeBuildInputs = [
+    findutils
+    glib
+  ];
+
+  buildFlags = "schemas";
+
+  installPhase = ''
+    mkdir -p $out/share/gnome-shell/extensions
+    cp -r ${uuid} $out/share/gnome-shell/extensions
+  '';
+
+  meta = with stdenv.lib; {
+    description = "Arrange workspaces in a two dimensional grid with workspace thumbnails";
+    license = licenses.gpl3Plus;
+    maintainers = with maintainers; [ chkno ];
+    homepage =  https://github.com/mzur/gnome-shell-wsmatrix;
+  };
+}
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 48b2c6ddbb1..263ddc7a091 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -23395,6 +23395,7 @@ in
     timepp = callPackage ../desktops/gnome-3/extensions/timepp { };
     topicons-plus = callPackage ../desktops/gnome-3/extensions/topicons-plus { };
     window-corner-preview = callPackage ../desktops/gnome-3/extensions/window-corner-preview { };
+    workspace-matrix = callPackage ../desktops/gnome-3/extensions/workspace-matrix { };
 
     nohotcorner = throw "gnomeExtensions.nohotcorner removed since 2019-10-09: Since 3.34, it is a part of GNOME Shell configurable through GNOME Tweaks.";
     mediaplayer = throw "gnomeExtensions.mediaplayer deprecated since 2019-09-23: retired upstream https://github.com/JasonLG1979/gnome-shell-extensions-mediaplayer/blob/master/README.md";