diff options
| author | Jan Tojnar <jtojnar@gmail.com> | 2021-02-14 20:16:36 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-14 20:16:36 +0100 |
| commit | 9ccd1fe7284091a9e17dad06f1ea2ef2fe349553 (patch) | |
| tree | fdf602986a1db5f45bb20d1e909c2e504a9a0af9 /pkgs/desktops/gnome-3/extensions | |
| parent | 796e3d6ff62ff1d09d869f4d89d4f06402402e1a (diff) | |
| parent | e1fc0f5e384a6da9e42a4ba701959def22a170ff (diff) | |
| download | nixpkgs-9ccd1fe7284091a9e17dad06f1ea2ef2fe349553.tar nixpkgs-9ccd1fe7284091a9e17dad06f1ea2ef2fe349553.tar.gz nixpkgs-9ccd1fe7284091a9e17dad06f1ea2ef2fe349553.tar.bz2 nixpkgs-9ccd1fe7284091a9e17dad06f1ea2ef2fe349553.tar.lz nixpkgs-9ccd1fe7284091a9e17dad06f1ea2ef2fe349553.tar.xz nixpkgs-9ccd1fe7284091a9e17dad06f1ea2ef2fe349553.tar.zst nixpkgs-9ccd1fe7284091a9e17dad06f1ea2ef2fe349553.zip | |
Merge pull request #113117 from dkabot/arcmenu
gnomeExtensions.arc-menu: 47 -> 5, rename to gnomeExtensions.arcmenu
Diffstat (limited to 'pkgs/desktops/gnome-3/extensions')
| -rw-r--r-- | pkgs/desktops/gnome-3/extensions/arcmenu/default.nix (renamed from pkgs/desktops/gnome-3/extensions/arc-menu/default.nix) | 18 | ||||
| -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, 9 insertions, 9 deletions
diff --git a/pkgs/desktops/gnome-3/extensions/arc-menu/default.nix b/pkgs/desktops/gnome-3/extensions/arcmenu/default.nix index 58f1836a132..851a816c61c 100644 --- a/pkgs/desktops/gnome-3/extensions/arc-menu/default.nix +++ b/pkgs/desktops/gnome-3/extensions/arcmenu/default.nix @@ -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"; }; } 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 |