Balló György pushed to branch main at Arch Linux / Packaging / Packages /
gnome-shell-extension-arc-menu
Commits:
007c03c6 by Balló György at 2024-12-28T23:48:29+01:00
upgpkg: 63-2: Add patch to delete stylesheet on shutdown
- - - - -
3 changed files:
- .SRCINFO
- PKGBUILD
- + gnome-shell-extension-arch-menu-shutdown-fix.patch
Changes:
=====================================
.SRCINFO
=====================================
@@ -1,7 +1,7 @@
pkgbase = gnome-shell-extension-arc-menu
pkgdesc = Application menu extension for GNOME Shell
pkgver = 63
- pkgrel = 1
+ pkgrel = 2
url = https://gitlab.com/arcmenu/ArcMenu
arch = any
license = GPL-2.0-or-later
@@ -9,6 +9,8 @@ pkgbase = gnome-shell-extension-arc-menu
depends = gnome-menus
depends = gnome-shell
source = git+https://gitlab.com/arcmenu/ArcMenu.git#tag=v63
+ source = gnome-shell-extension-arch-menu-shutdown-fix.patch
b2sums =
ef9f54040dcb3ccf93969d85f1f69d06f336f8f8c05ac21ab17ceb0358fb2a2642e7559ce79d4bd2a90acbcce5978266c890bf22ad20e97308e34f75fc3814c7
+ b2sums =
3bb8fa03d9a0cc1261bb78d626858f17c2ce5c0a449c7dd04db7ac07ede561a396309127d894d93410691ac199bcf6ab5adad1553ef145c57c1ae2d24b846b9b
pkgname = gnome-shell-extension-arc-menu
=====================================
PKGBUILD
=====================================
@@ -5,7 +5,7 @@
pkgname=gnome-shell-extension-arc-menu
_pkgname=ArcMenu
pkgver=63
-pkgrel=1
+pkgrel=2
pkgdesc='Application menu extension for GNOME Shell'
arch=(any)
url='https://gitlab.com/arcmenu/ArcMenu'
@@ -15,8 +15,19 @@ depends=(
gnome-shell
)
makedepends=(git)
-source=("git+https://gitlab.com/arcmenu/$_pkgname.git#tag=v$pkgver";)
-b2sums=(ef9f54040dcb3ccf93969d85f1f69d06f336f8f8c05ac21ab17ceb0358fb2a2642e7559ce79d4bd2a90acbcce5978266c890bf22ad20e97308e34f75fc3814c7)
+source=(
+ "git+https://gitlab.com/arcmenu/$_pkgname.git#tag=v$pkgver";
+ gnome-shell-extension-arch-menu-shutdown-fix.patch
+)
+b2sums=(
+
ef9f54040dcb3ccf93969d85f1f69d06f336f8f8c05ac21ab17ceb0358fb2a2642e7559ce79d4bd2a90acbcce5978266c890bf22ad20e97308e34f75fc3814c7
+
3bb8fa03d9a0cc1261bb78d626858f17c2ce5c0a449c7dd04db7ac07ede561a396309127d894d93410691ac199bcf6ab5adad1553ef145c57c1ae2d24b846b9b
+)
+
+prepare() {
+ cd $_pkgname
+ git apply -3 ../gnome-shell-extension-arch-menu-shutdown-fix.patch
+}
build() {
cd $_pkgname
=====================================
gnome-shell-extension-arch-menu-shutdown-fix.patch
=====================================
@@ -0,0 +1,37 @@
+From fbca6c2999e9c97c062df7252b27f8bd0082c773 Mon Sep 17 00:00:00 2001
+From: =?UTF-8?q?Ball=C3=B3=20Gy=C3=B6rgy?= <[email protected]>
+Date: Sat, 28 Dec 2024 18:03:41 +0000
+Subject: [PATCH] Delete stylesheet on shutdown
+
+The disable() function is called only when the extension gets disabled,
+but not when the user logs out, causing that the stylesheet file remains
+on the system.
+---
+ extension.js | 5 +++++
+ 1 file changed, 5 insertions(+)
+
+diff --git a/extension.js b/extension.js
+index 326bfb8..5be3305 100644
+--- a/extension.js
++++ b/extension.js
+@@ -50,12 +50,17 @@ export default class ArcMenu extends Extension {
+
+ // listen to dash to panel if they are compatible and already enabled
+ this._connectExtensionSignals();
++
++ this._shutdownId = global.connect('shutdown', () => {
++ Theming.deleteStylesheet();
++ });
+ }
+
+ disable() {
+ this.searchProviderEmitter.destroy();
+ delete this.searchProviderEmitter;
+
++ global.disconnect(this._shutdownId);
+ Theming.deleteStylesheet();
+
+ this._disconnectExtensionSignals();
+--
+GitLab
+
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/gnome-shell-extension-arc-menu/-/commit/007c03c6ec052b030308b2a6c62659824023294f
--
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/gnome-shell-extension-arc-menu/-/commit/007c03c6ec052b030308b2a6c62659824023294f
You're receiving this email because of your account on gitlab.archlinux.org.
