diff options
author | dkabot <1316469+dkabot@users.noreply.github.com> | 2021-02-14 07:54:17 -0500 |
---|---|---|
committer | dkabot <1316469+dkabot@users.noreply.github.com> | 2021-02-14 07:57:05 -0500 |
commit | e1fc0f5e384a6da9e42a4ba701959def22a170ff (patch) | |
tree | 2022e66fe07c42d4f32c1f8fa3e5d23537e61c2e /pkgs/desktops | |
parent | 6fafbb4f27aaee2b402efe7e9849a38b2a76d40a (diff) | |
download | nixpkgs-e1fc0f5e384a6da9e42a4ba701959def22a170ff.tar nixpkgs-e1fc0f5e384a6da9e42a4ba701959def22a170ff.tar.gz nixpkgs-e1fc0f5e384a6da9e42a4ba701959def22a170ff.tar.bz2 nixpkgs-e1fc0f5e384a6da9e42a4ba701959def22a170ff.tar.lz nixpkgs-e1fc0f5e384a6da9e42a4ba701959def22a170ff.tar.xz nixpkgs-e1fc0f5e384a6da9e42a4ba701959def22a170ff.tar.zst nixpkgs-e1fc0f5e384a6da9e42a4ba701959def22a170ff.zip |
gnomeExtensions.arc-menu: rename to gnomeExtensions.arcmenu
The upstream has been changed to a different repository with this name.
Diffstat (limited to 'pkgs/desktops')
-rw-r--r-- | pkgs/desktops/gnome-3/extensions/arcmenu/default.nix (renamed from pkgs/desktops/gnome-3/extensions/arc-menu/default.nix) | 4 | ||||
-rw-r--r-- | pkgs/desktops/gnome-3/extensions/arcmenu/fix_gmenu.patch (renamed from pkgs/desktops/gnome-3/extensions/arc-menu/fix_gmenu.patch) | 0 |
2 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/desktops/gnome-3/extensions/arc-menu/default.nix b/pkgs/desktops/gnome-3/extensions/arcmenu/default.nix index ed55bb3d058..851a816c61c 100644 --- a/pkgs/desktops/gnome-3/extensions/arc-menu/default.nix +++ b/pkgs/desktops/gnome-3/extensions/arcmenu/default.nix @@ -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"; diff --git a/pkgs/desktops/gnome-3/extensions/arc-menu/fix_gmenu.patch b/pkgs/desktops/gnome-3/extensions/arcmenu/fix_gmenu.patch index 5d8584f52a6..5d8584f52a6 100644 --- a/pkgs/desktops/gnome-3/extensions/arc-menu/fix_gmenu.patch +++ b/pkgs/desktops/gnome-3/extensions/arcmenu/fix_gmenu.patch |