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
6 lines
141 B
Desktop File
6 lines
141 B
Desktop File
[Desktop Entry]
|
|
Type=Application
|
|
Name=GNOME settings overrides migration
|
|
NoDisplay=True
|
|
Exec=@libexecdir@/gnome-shell-overrides-migration.sh
|