workspace-grid gnome-shell extension: init

This commit is contained in:
Aneesh Agrawal 2016-04-13 23:10:10 -04:00
parent 74d7513a2a
commit 54d2aaca6d
2 changed files with 31 additions and 0 deletions

View File

@ -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;
};
}

View File

@ -15176,6 +15176,7 @@ in
shellExtensions = {
impatience = callPackage ../desktops/gnome-3/extensions/impatience.nix {};
volume-mixer = callPackage ../desktops/gnome-3/extensions/volume-mixer.nix {};
workspace-grid = callPackage ../desktops/gnome-3/extensions/workspace-grid.nix {};
};
};