diff options
| author | Chuck <chuck@intelligence.org> | 2019-12-06 14:35:18 -0800 |
|---|---|---|
| committer | Chuck <chuck@intelligence.org> | 2019-12-08 13:53:18 -0800 |
| commit | 1e97dbb405282f07f2c46ab108b7ec238f39ceb0 (patch) | |
| tree | 3e76e6b32e47fe336909055973956ab77f773a43 | |
| parent | 88f24e842b9c3acd347410d17c2211551a20df8a (diff) | |
| download | nixpkgs-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.nix | 34 | ||||
| -rw-r--r-- | pkgs/top-level/all-packages.nix | 1 |
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"; |