gnomeExtensions.arc-menu: rename to gnomeExtensions.arcmenu

The upstream has been changed to a different repository with this name.
This commit is contained in:
dkabot 2021-02-14 07:54:17 -05:00
parent 6fafbb4f27
commit e1fc0f5e38
3 changed files with 4 additions and 3 deletions

View file

@ -1,7 +1,7 @@
{ lib, stdenv, fetchFromGitLab, glib, gettext, substituteAll, gnome-menus }:
stdenv.mkDerivation rec {
pname = "gnome-shell-arc-menu";
pname = "gnome-shell-arcmenu";
version = "5";
src = fetchFromGitLab {
@ -27,7 +27,7 @@ stdenv.mkDerivation rec {
uuid = "arcmenu@arcmenu.com";
meta = with lib; {
description = "Application menu for GNOME Shell, designed to provide a more traditional user experience and workflow.";
description = "Application menu for GNOME Shell, designed to provide a more traditional user experience and workflow";
license = licenses.gpl2Plus;
maintainers = with maintainers; [ dkabot ];
homepage = "https://gitlab.com/arcmenu/ArcMenu";

View file

@ -27393,7 +27393,7 @@ in
gnomeExtensions = recurseIntoAttrs {
appindicator = callPackage ../desktops/gnome-3/extensions/appindicator { };
arc-menu = callPackage ../desktops/gnome-3/extensions/arc-menu { };
arcmenu = callPackage ../desktops/gnome-3/extensions/arcmenu { };
caffeine = callPackage ../desktops/gnome-3/extensions/caffeine { };
clipboard-indicator = callPackage ../desktops/gnome-3/extensions/clipboard-indicator { };
clock-override = callPackage ../desktops/gnome-3/extensions/clock-override { };
@ -27431,6 +27431,7 @@ in
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
};
gnome-connections = callPackage ../desktops/gnome-3/apps/gnome-connections { };