From f20115d27df7e71183fd54f896ee08a4319414e1 Mon Sep 17 00:00:00 2001 From: Dacio Romero Date: Mon, 17 Apr 2023 22:44:33 -0700 Subject: [PATCH] gnomeExtensions.arcmenu: 43 -> 44 --- pkgs/desktops/gnome/extensions/arcmenu/default.nix | 6 +++--- pkgs/desktops/gnome/extensions/arcmenu/fix_gmenu.patch | 7 +++---- 2 files changed, 6 insertions(+), 7 deletions(-) diff --git a/pkgs/desktops/gnome/extensions/arcmenu/default.nix b/pkgs/desktops/gnome/extensions/arcmenu/default.nix index b14e48d62dfe..8a0c7c29deb6 100644 --- a/pkgs/desktops/gnome/extensions/arcmenu/default.nix +++ b/pkgs/desktops/gnome/extensions/arcmenu/default.nix @@ -2,13 +2,13 @@ stdenv.mkDerivation rec { pname = "gnome-shell-extension-arcmenu"; - version = "43"; + version = "44"; src = fetchFromGitLab { owner = "arcmenu"; repo = "ArcMenu"; - rev = "v${version}"; - sha256 = "sha256-Mb3C2H7jq+zVcLjb0iaiIdO6zmU54vhuYxhN6oBCyP8="; + rev = "v44.1"; + sha256 = "sha256-+aPBRxjL5lgdm96SbRZnp+9o9nl2N8Rb3dehMAv883c="; }; patches = [ diff --git a/pkgs/desktops/gnome/extensions/arcmenu/fix_gmenu.patch b/pkgs/desktops/gnome/extensions/arcmenu/fix_gmenu.patch index 5d8584f52a6a..3fd46e080649 100644 --- a/pkgs/desktops/gnome/extensions/arcmenu/fix_gmenu.patch +++ b/pkgs/desktops/gnome/extensions/arcmenu/fix_gmenu.patch @@ -1,11 +1,10 @@ --- a/extension.js +++ b/extension.js -@@ -23,6 +23,8 @@ - - const Me = imports.misc.extensionUtils.getCurrentExtension(); +@@ -20,6 +20,8 @@ + const ExtensionUtils = imports.misc.extensionUtils; + const Me = ExtensionUtils.getCurrentExtension(); +imports.gi.GIRepository.Repository.prepend_search_path('@gmenu_path@'); + - const {GLib, Gio, St} = imports.gi; const Constants = Me.imports.constants; const Controller = Me.imports.controller;