Merge pull request #124280 from Mdsp9070/gnome-extensions-gTile

This commit is contained in:
Sandro 2021-05-27 05:37:09 +02:00 committed by GitHub
commit 11e59a08dd
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 36 additions and 0 deletions

View file

@ -6429,6 +6429,10 @@
githubId = 44469426;
name = "Matheus de Souza Pessanha";
email = "matheus_pessanha2001@outlook.com";
keys = [{
longkeyid = "rsa4096/6DFD656220A3B849";
fingerprint = "2D4D 488F 17FB FF75 664E C016 6DFD 6562 20A3 B849";
}];
};
meatcar = {
email = "nixpkgs@denys.me";

View file

@ -0,0 +1,32 @@
{ stdenv, lib, fetchFromGitHub }:
stdenv.mkDerivation rec {
pname = "gnome-shell-extension-gtile";
version = "44";
src = fetchFromGitHub {
owner = "gTile";
repo = "gTile";
rev = "V${version}";
sha256 = "0i00psc1ky70zljd14jzr627y7nd8xwnwrh4xpajl1f6djabh12s";
};
uuid = "gTile@vibou";
installPhase = ''
runHook preInstall
mkdir -p $out/share/gnome-shell/extensions/${uuid}
cp -r * $out/share/gnome-shell/extensions/${uuid}
runHook postInstall
'';
meta = with lib; {
description = "A window tiling extension for Gnome. This is the new official home of the vibou.gTile extension.";
license = licenses.gpl2Plus;
maintainers = with maintainers; [ mdsp ];
platforms = platforms.linux;
homepage = "https://github.com/gTile/gTile";
};
}