From b391a1602d979b946603a1a5a806f506727bcb39 Mon Sep 17 00:00:00 2001 From: Benjamin Staffin Date: Fri, 5 Apr 2019 17:01:52 -0400 Subject: [PATCH] tilingnome: init at 2019-01-18 (#58980) --- .../gnome-3/extensions/tilingnome/default.nix | 35 +++++++++++++++++++ pkgs/top-level/all-packages.nix | 1 + 2 files changed, 36 insertions(+) create mode 100644 pkgs/desktops/gnome-3/extensions/tilingnome/default.nix diff --git a/pkgs/desktops/gnome-3/extensions/tilingnome/default.nix b/pkgs/desktops/gnome-3/extensions/tilingnome/default.nix new file mode 100644 index 00000000000..293918bd2b1 --- /dev/null +++ b/pkgs/desktops/gnome-3/extensions/tilingnome/default.nix @@ -0,0 +1,35 @@ +{ stdenv, lib, fetchFromGitHub, glib, gnome3 }: + +stdenv.mkDerivation rec { + pname = "gnome-shell-extension-tilingnome"; + version = "unstable-2019-01-18"; + + src = fetchFromGitHub { + owner = "rliang"; + repo = pname; + rev = "bd4fb8c19f7a6282b38724b30e62645143390226"; + sha256 = "1y4s4n88gdkpvgd3v3dg0181ccyhlixbvkx3bwyvdxyyyxbqibid"; + }; + + nativeBuildInputs = [ glib ]; + + buildPhase = '' + glib-compile-schemas . + ''; + + installPhase = '' + mkdir -p $out/share/gnome-shell/extensions/${uuid} + cp -r * $out/share/gnome-shell/extensions/${uuid}/ + ''; + + uuid = "tilingnome@rliang.github.com"; + + meta = with stdenv.lib; { + description = "Tiling window management for GNOME Shell"; + license = licenses.gpl2; + maintainers = with maintainers; [ benley ]; + homepage = https://github.com/rliang/gnome-shell-extension-tilingnome; + platforms = gnome3.gnome-shell.meta.platforms; + broken = lib.versionAtLeast gnome3.gnome-shell.version "3.31"; + }; +} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 640c3803b05..2deaa60b11b 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -21585,6 +21585,7 @@ in sound-output-device-chooser = callPackage ../desktops/gnome-3/extensions/sound-output-device-chooser { }; system-monitor = callPackage ../desktops/gnome-3/extensions/system-monitor { }; taskwhisperer = callPackage ../desktops/gnome-3/extensions/taskwhisperer { }; + tilingnome = callPackage ../desktops/gnome-3/extensions/tilingnome { }; 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 { };