From 492de5c32e6a5c8a348c05659665dd70a288d533 Mon Sep 17 00:00:00 2001 From: Chuck Date: Fri, 6 Dec 2019 14:41:45 -0800 Subject: [PATCH] gnomeExtensions.workspace-grid: Remove workspace-matrix largely replaces workspace-grid [1]. Also, workspace-grid.nix was accidentally dropped from top-level/all-packages.nix in the Gnome 3.18 -> 3.20 bump in 5a245c24b0188c6fff933497545f6e84d9b024c0, so this file has been unreferenced for three years. [1] https://github.com/zakkak/workspace-grid/issues/120#issuecomment-488802454 --- .../gnome-3/extensions/workspace-grid.nix | 30 ------------------- 1 file changed, 30 deletions(-) delete mode 100644 pkgs/desktops/gnome-3/extensions/workspace-grid.nix diff --git a/pkgs/desktops/gnome-3/extensions/workspace-grid.nix b/pkgs/desktops/gnome-3/extensions/workspace-grid.nix deleted file mode 100644 index 811e9911f628..000000000000 --- a/pkgs/desktops/gnome-3/extensions/workspace-grid.nix +++ /dev/null @@ -1,30 +0,0 @@ -{ stdenv, fetchFromGitHub, glib }: - -stdenv.mkDerivation rec { - pname = "gnome-shell-workspace-grid"; - 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; - }; -}