gnome-shell/data/gnome-shell-overrides-migration.desktop.in

[Desktop Entry]
Type=Application
Name=GNOME settings overrides migration
NoDisplay=True
Exec=@libexecdir@/gnome-shell-overrides-migration.sh
tools: Migrate changed overrides settings 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 2018-07-18 13:27:29 -04:00			`[Desktop Entry]`
			`Type=Application`
			`Name=GNOME settings overrides migration`
			`NoDisplay=True`
			`Exec=@libexecdir@/gnome-shell-overrides-migration.sh`