Merge pull request #118310 from eduardosm/gnomeExtension.disable-unredirect

This commit is contained in:
Sandro 2021-04-02 19:14:02 +02:00 committed by GitHub
commit 15656a7b79
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 32 additions and 0 deletions

View file

@ -0,0 +1,31 @@
{ lib, stdenv, fetchFromGitHub }:
stdenv.mkDerivation rec {
pname = "gnome-shell-extension-disable-unredirect";
version = "unstable-2021-01-17";
src = fetchFromGitHub {
owner = "kazysmaster";
repo = "gnome-shell-extension-disable-unredirect";
rev = "2ecb2f489ea3316b77d04f03a0c885f322c67e79";
sha256 = "1rjyrg8qya0asndxr7189a9npww0rcxk02wkxrxjy7fdp5m89p7y";
};
uuid = "unredirect@vaina.lt";
installPhase = ''
runHook preInstall
mkdir -p $out/share/gnome-shell/extensions
cp -R ${uuid} $out/share/gnome-shell/extensions/${uuid}
runHook postInstall
'';
meta = with lib; {
description = "Disables unredirect fullscreen windows in gnome-shell to avoid tearing";
license = licenses.gpl3Only;
homepage = "https://github.com/kazysmaster/gnome-shell-extension-disable-unredirect";
maintainers = with maintainers; [ eduardosm ];
};
}

View file

@ -28120,6 +28120,7 @@ in
clock-override = callPackage ../desktops/gnome-3/extensions/clock-override { };
dash-to-dock = callPackage ../desktops/gnome-3/extensions/dash-to-dock { };
dash-to-panel = callPackage ../desktops/gnome-3/extensions/dash-to-panel { };
disable-unredirect = callPackage ../desktops/gnome-3/extensions/disable-unredirect { };
draw-on-your-screen = callPackage ../desktops/gnome-3/extensions/draw-on-your-screen { };
drop-down-terminal = callPackage ../desktops/gnome-3/extensions/drop-down-terminal { };
dynamic-panel-transparency = callPackage ../desktops/gnome-3/extensions/dynamic-panel-transparency { };