gnome-shell/tools/meson.build

install_data('gnome-shell-overrides-migration.sh',
  install_dir: libexecdir,
  install_mode: 'rwxr-xr-x'
)
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			`install_data('gnome-shell-overrides-migration.sh',`
			`install_dir: libexecdir,`
			`install_mode: 'rwxr-xr-x'`
			`)`