gnomeExtensions.disable-unredirect: Remove manual packaging

This commit is contained in:
piegames 2021-05-29 18:29:43 +02:00
parent 2e0ffbe754
commit 1149365fd0
2 changed files with 0 additions and 32 deletions

View File

@ -1,31 +0,0 @@
{ lib, stdenv, fetchFromGitHub }:
stdenv.mkDerivation rec {
pname = "gnome-shell-extension-disable-unredirect";
version = "unstable-2021-04-13";
src = fetchFromGitHub {
owner = "kazysmaster";
repo = "gnome-shell-extension-disable-unredirect";
rev = "2a4c0e6a7a7a5f1aad9907ee2cf43d0725e10c19";
sha256 = "06hbyy20xz0bvzg0vs5w4092nyfpg372c86cdm1akcjm72m5sim9";
};
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

@ -7,7 +7,6 @@
"clock-override@gnomeshell.kryogenix.org" = callPackage ./clock-override { };
"dash-to-dock@micxgx.gmail.com" = callPackage ./dash-to-dock { };
"dash-to-panel@jderose9.github.com" = callPackage ./dash-to-panel { };
"unredirect@vaina.lt" = callPackage ./disable-unredirect { };
"drop-down-terminal@gs-extensions.zzrough.org" = callPackage ./drop-down-terminal { };
"dynamic-panel-transparency@rockon999.github.io" = callPackage ./dynamic-panel-transparency { };
"EasyScreenCast@iacopodeenosee.gmail.com" = callPackage ./EasyScreenCast { };