tilingnome: init at 2019-01-18 (#58980)

This commit is contained in:
Benjamin Staffin 2019-04-05 17:01:52 -04:00 committed by GitHub
parent b58387e913
commit b391a1602d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 36 additions and 0 deletions

View file

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

View file

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