tjh.dev
1{
2 stdenv,
3 lib,
4 fetchFromGitHub,
5 glib,
6 gnome-shell,
7}:
8
9stdenv.mkDerivation {
10 pname = "gnome-shell-extension-tilingnome";
11 version = "unstable-2019-09-19";
12
13 src = fetchFromGitHub {
14 owner = "rliang";
15 repo = "gnome-shell-extension-tilingnome";
16 rev = "f401c20c9721d85e6b3e30d1e822a200db370407";
17 sha256 = "1hq9g9bxqpzqrdj9zm0irld8r6q4w1m4b00jya7wsny8rzb1s0y2";
18 };
19
20 nativeBuildInputs = [ glib ];
21
22 buildPhase = ''
23 runHook preBuild
24 glib-compile-schemas .
25 runHook postBuild
26 '';
27
28 installPhase = ''
29 runHook preInstall
30 mkdir -p "$out/share/gnome-shell/extensions/tilingnome@rliang.github.com"
31 cp -r * "$out/share/gnome-shell/extensions/tilingnome@rliang.github.com/"
32 runHook postInstall
33 '';
34
35 passthru = {
36 extensionUuid = "tilingnome@rliang.github.com";
37 extensionPortalSlug = "tilingnome";
38 };
39
40 meta = with lib; {
41 description = "Tiling window management for GNOME Shell";
42 license = licenses.gpl2;
43 maintainers = with maintainers; [ benley ];
44 homepage = "https://github.com/rliang/gnome-shell-extension-tilingnome";
45 platforms = gnome-shell.meta.platforms;
46 };
47}