Date: Sunday, April 10, 2016 @ 18:28:06
Author: bgyorgy
Revision: 170122
upgpkg: cinnamon 2.8.8-2
Update desktop file names for GNOME 3.20
Modified:
cinnamon/trunk/PKGBUILD
----------+
PKGBUILD | 9 ++++++++-
1 file changed, 8 insertions(+), 1 deletion(-)
Modified: PKGBUILD
===================================================================
--- PKGBUILD 2016-04-10 16:27:06 UTC (rev 170121)
+++ PKGBUILD 2016-04-10 16:28:06 UTC (rev 170122)
@@ -6,7 +6,7 @@
pkgname=cinnamon
pkgver=2.8.8
-pkgrel=1
+pkgrel=2
pkgdesc="Linux desktop which provides advanced innovative features and a
traditional user experience"
arch=('i686' 'x86_64')
url="https://github.com/linuxmint/Cinnamon"
@@ -72,6 +72,13 @@
sed -i 's/@selected_bg_color;/@theme_selected_bg_color;/' \
files/usr/share/cinnamon/cinnamon-settings/cinnamon-settings.py
+ # GNOME Terminal desktop file was renamed in GNOME 3.20
+ sed -i 's/gnome-terminal.desktop/org.gnome.Terminal.desktop/'
data/org.cinnamon.gschema.xml.in \
+
files/usr/share/cinnamon/applets/[email protected]/settings-schema.json
+
+ # Replace MintInstall with GNOME Software
+ sed -i 's/mintinstall.desktop/org.gnome.Software.desktop/'
data/org.cinnamon.gschema.xml.in
+
# Fix missing icons with the Adwaita theme
sed -i 's/"gtk-file"/"text-x-preview"/'
docs/applets-examples/[email protected]/applet.js src/cinnamon-util.c
sed -i "s/SECONDARY, 'ok'/SECONDARY, 'gtk-ok'/