diff options
author | Eduardo Sánchez Muñoz <esm@eduardosm.net> | 2021-04-02 13:08:27 +0200 |
---|---|---|
committer | Eduardo Sánchez Muñoz <esm@eduardosm.net> | 2021-04-02 17:12:17 +0200 |
commit | 7216d19e4e2f687d3e86354bb03e5467fb69368c (patch) | |
tree | 0409d5b7a382cba7f76aac44ff50ba51994c71bb /pkgs/desktops/gnome-3/extensions | |
parent | 905ecb920edc73922beea028adf3b139f96f3bd6 (diff) | |
download | nixpkgs-7216d19e4e2f687d3e86354bb03e5467fb69368c.tar nixpkgs-7216d19e4e2f687d3e86354bb03e5467fb69368c.tar.gz nixpkgs-7216d19e4e2f687d3e86354bb03e5467fb69368c.tar.bz2 nixpkgs-7216d19e4e2f687d3e86354bb03e5467fb69368c.tar.lz nixpkgs-7216d19e4e2f687d3e86354bb03e5467fb69368c.tar.xz nixpkgs-7216d19e4e2f687d3e86354bb03e5467fb69368c.tar.zst nixpkgs-7216d19e4e2f687d3e86354bb03e5467fb69368c.zip |
gnomeExtension.disable-unredirect: init at unstable-2021-01-17
Diffstat (limited to 'pkgs/desktops/gnome-3/extensions')
-rw-r--r-- | pkgs/desktops/gnome-3/extensions/disable-unredirect/default.nix | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/pkgs/desktops/gnome-3/extensions/disable-unredirect/default.nix b/pkgs/desktops/gnome-3/extensions/disable-unredirect/default.nix new file mode 100644 index 00000000000..0a9145de3db --- /dev/null +++ b/pkgs/desktops/gnome-3/extensions/disable-unredirect/default.nix @@ -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 ]; + }; +} |