public
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #113117 from dkabot/arcmenu 

gnomeExtensions.arc-menu: 47 -> 5, rename to gnomeExtensions.arcmenu
This commit is contained in:
Jan Tojnar 2021-02-14 20:16:36 +01:00 committed by GitHub
parent 796e3d6ff6 e1fc0f5e38
commit 9ccd1fe728
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 11 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
pkgs/desktops/gnome-3/extensions/arc-menu/default.nix → pkgs/desktops/gnome-3/extensions/arcmenu/default.nix
View File

@ -1,14 +1,14 @@
{ lib, stdenv, fetchFromGitLab, glib, gettext, substituteAll, gnome-menus }:
stdenv.mkDerivation rec {
pname = "gnome-shell-arc-menu";
version = "47";
pname = "gnome-shell-arcmenu";
version = "5";
src = fetchFromGitLab {
owner = "arcmenu-team";
repo = "Arc-Menu";
rev = "v${version}-Stable";
sha256 = "1hhjxdm1sm9pddhkkxx532hqqiv9ghvqgn9xszg1jwhj29380fv6";
owner = "arcmenu";
repo = "ArcMenu";
rev = "v${version}";
sha256 = "1w4avvnp08l7lkf76vc7wvfn1cd81l4r4dhz8qnai49rvrjgqcg3";
};
patches = [
@ -24,12 +24,12 @@ stdenv.mkDerivation rec {
makeFlags = [ "INSTALLBASE=${placeholder "out"}/share/gnome-shell/extensions" ];
uuid = "arc-menu@linxgem33.com";
uuid = "arcmenu@arcmenu.com";
meta = with lib; {
description = "Gnome shell extension designed to replace the standard menu found in Gnome 3";
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/LinxGem33/Arc-Menu";
homepage = "https://gitlab.com/arcmenu/ArcMenu";
};
}

0
pkgs/desktops/gnome-3/extensions/arc-menu/fix_gmenu.patch → pkgs/desktops/gnome-3/extensions/arcmenu/fix_gmenu.patch
View File

3
pkgs/top-level/all-packages.nix
View File

@ -27440,7 +27440,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 { };
@ -27479,6 +27479,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 { };