From 5806a57ce637a9002e22454dfa4769d14385a706 Mon Sep 17 00:00:00 2001 From: Josh Moller-Mara Date: Fri, 30 Jul 2021 14:16:11 -0700 Subject: [PATCH] gnomeExtensions.system-monitor: fix system-monitor name collision "system-monitor@paradoxxx.zero.gmail.com" is manually packaged, "System_Monitor@bghome.gmail.com" is automatically packaged. Both have the extensionPortalSlug "system-monitor", but the former gets shadowed by the latter. --- pkgs/desktops/gnome/extensions/extensionRenames.nix | 2 ++ 1 file changed, 2 insertions(+) diff --git a/pkgs/desktops/gnome/extensions/extensionRenames.nix b/pkgs/desktops/gnome/extensions/extensionRenames.nix index 9df97998891f..674720b4eeb2 100644 --- a/pkgs/desktops/gnome/extensions/extensionRenames.nix +++ b/pkgs/desktops/gnome/extensions/extensionRenames.nix @@ -13,6 +13,8 @@ "lockkeys@vaina.lt" = "lock-keys"; "lockkeys@fawtytoo" = "lock-keys-2"; + "system-monitor@paradoxxx.zero.gmail.com" = "system-monitor"; # manually packaged + "System_Monitor@bghome.gmail.com" = "system-monitor-2"; # ############################################################################