d57dc94d9e
While the new per-desktop overrides in GIO are easier to use for both developers and users, it is still inconvenient for everyone who changed the defaults using the old overrides hack to lose their settings. Address this by running a small script on startup that migrates existing settings. https://bugzilla.gnome.org/show_bug.cgi?id=786496
39 lines
903 B
Bash
Executable File
39 lines
903 B
Bash
Executable File
#!/bin/sh
|
|
|
|
PKG_DATA_DIR=${XDG_DATA_HOME:-$HOME/.local/share}/gnome-shell
|
|
|
|
MIGRATION_GUARD=$PKG_DATA_DIR/gnome-overrides-migrated
|
|
OVERRIDE_SCHEMA=
|
|
|
|
if [ -f $MIGRATION_GUARD ]; then
|
|
exit # already migrated
|
|
fi
|
|
|
|
# Find the right session
|
|
if echo $XDG_CURRENT_DESKTOP | grep -q -v GNOME; then
|
|
exit # not a GNOME session
|
|
fi
|
|
|
|
if echo $XDG_CURRENT_DESKTOP | grep -q Classic; then
|
|
OVERRIDE_SCHEMA=org.gnome.shell.extensions.classic-overrides
|
|
else
|
|
OVERRIDE_SCHEMA=org.gnome.shell.overrides
|
|
fi
|
|
|
|
mkdir -p $PKG_DATA_DIR
|
|
|
|
for k in `gsettings list-keys $OVERRIDE_SCHEMA`
|
|
do
|
|
if [ $k = button-layout ]; then
|
|
orig_schema=org.gnome.desktop.wm.preferences
|
|
else
|
|
orig_schema=org.gnome.mutter
|
|
fi
|
|
|
|
oldValue=`gsettings get $OVERRIDE_SCHEMA $k`
|
|
curValue=`gsettings get $orig_schema $k`
|
|
if [ $oldValue != $curValue ]; then
|
|
gsettings set $orig_schema $k $oldValue
|
|
fi
|
|
done && touch $MIGRATION_GUARD
|