diff options
| author | piegames <git@piegames.de> | 2021-05-29 18:29:43 +0200 |
|---|---|---|
| committer | piegames <git@piegames.de> | 2021-07-14 03:35:12 +0200 |
| commit | 1149365fd0c1a60ae543f85edebef1af76e2c89e (patch) | |
| tree | b04fa37f7488ca522ec6677ef8eebf23b6a54eaf /pkgs/desktops | |
| parent | 2e0ffbe7541cb08da321dbb9e3e088a819b49e05 (diff) | |
| download | nixpkgs-1149365fd0c1a60ae543f85edebef1af76e2c89e.tar nixpkgs-1149365fd0c1a60ae543f85edebef1af76e2c89e.tar.gz nixpkgs-1149365fd0c1a60ae543f85edebef1af76e2c89e.tar.bz2 nixpkgs-1149365fd0c1a60ae543f85edebef1af76e2c89e.tar.lz nixpkgs-1149365fd0c1a60ae543f85edebef1af76e2c89e.tar.xz nixpkgs-1149365fd0c1a60ae543f85edebef1af76e2c89e.tar.zst nixpkgs-1149365fd0c1a60ae543f85edebef1af76e2c89e.zip | |
gnomeExtensions.disable-unredirect: Remove manual packaging
Diffstat (limited to 'pkgs/desktops')
| -rw-r--r-- | pkgs/desktops/gnome/extensions/disable-unredirect/default.nix | 31 | ||||
| -rw-r--r-- | pkgs/desktops/gnome/extensions/manuallyPackaged.nix | 1 |
2 files changed, 0 insertions, 32 deletions
diff --git a/pkgs/desktops/gnome/extensions/disable-unredirect/default.nix b/pkgs/desktops/gnome/extensions/disable-unredirect/default.nix deleted file mode 100644 index 166ab61565f..00000000000 --- a/pkgs/desktops/gnome/extensions/disable-unredirect/default.nix +++ /dev/null @@ -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 ]; - }; -} diff --git a/pkgs/desktops/gnome/extensions/manuallyPackaged.nix b/pkgs/desktops/gnome/extensions/manuallyPackaged.nix index 7dcc32139e1..97a50eb3c07 100644 --- a/pkgs/desktops/gnome/extensions/manuallyPackaged.nix +++ b/pkgs/desktops/gnome/extensions/manuallyPackaged.nix @@ -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 { }; |