Date: Tuesday, April 15, 2014 @ 20:14:23
Author: bgyorgy
Revision: 109553
upgpkg: cinnamon 2.2.3-3
Use cinnamon-menus instead of gnome-menus in cinnamon-desktop-editor
Modified:
cinnamon/trunk/PKGBUILD
----------+
PKGBUILD | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
Modified: PKGBUILD
===================================================================
--- PKGBUILD 2014-04-15 17:45:18 UTC (rev 109552)
+++ PKGBUILD 2014-04-15 18:14:23 UTC (rev 109553)
@@ -6,7 +6,7 @@
pkgname=cinnamon
pkgver=2.2.3
-pkgrel=2
+pkgrel=3
pkgdesc="Linux desktop which provides advanced innovative features and a
traditional user experience"
arch=('i686' 'x86_64')
url="http://cinnamon.linuxmint.com/";
@@ -41,6 +41,9 @@
# Use wheel group instread of sudo
patch -Np1 -i ../set_wheel.patch
+ # Use cinnamon-menus instead of gnome-menus in cinnamon-desktop-editor
+ sed -i 's/GMenu/CMenu/g'
files/usr/lib/cinnamon-desktop-editor/cinnamon-desktop-editor.py
+
# Add polkit agent to required components
sed -i
's/RequiredComponents=\(.*\)$/RequiredComponents=\1polkit-gnome-authentication-agent-1;/'
files/usr/share/cinnamon-session/sessions/cinnamon*.session
