From 1085727d81fdbae9c39578526b018e99abfb7b29 Mon Sep 17 00:00:00 2001 From: piegames Date: Fri, 21 May 2021 23:06:39 +0200 Subject: [PATCH] gnomeExtensions: move dropped extensions next to aliases --- pkgs/top-level/all-packages.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index a2c2bcba8812..27af7d5ceb6b 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -28882,10 +28882,10 @@ in window-corner-preview = callPackage ../desktops/gnome/extensions/window-corner-preview { }; window-is-ready-remover = callPackage ../desktops/gnome/extensions/window-is-ready-remover { }; workspace-matrix = callPackage ../desktops/gnome/extensions/workspace-matrix { }; - + } // lib.optionalAttrs (config.allowAliases or false) { nohotcorner = throw "gnomeExtensions.nohotcorner removed since 2019-10-09: Since 3.34, it is a part of GNOME Shell configurable through GNOME Tweaks."; mediaplayer = throw "gnomeExtensions.mediaplayer deprecated since 2019-09-23: retired upstream https://github.com/JasonLG1979/gnome-shell-extensions-mediaplayer/blob/master/README.md"; - } // lib.optionalAttrs (config.allowAliases or false) { + unite-shell = gnomeExtensions.unite; # added 2021-01-19 arc-menu = gnomeExtensions.arcmenu; # added 2021-02-14 };