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