diff options
| author | Marco Trevisan (Treviño) <mail@3v1n0.net> | 2018-04-09 20:23:39 +0000 |
|---|---|---|
| committer | Bileto Bot <ci-train-bot@canonical.com> | 2018-04-09 20:23:39 +0000 |
| commit | d18d0e93c78cbcd9ef227775ab4bf5b60cc5bc37 (patch) | |
| tree | 07f85c0fd8e2a766f0268c2cebade6d76c178d78 /debian | |
| parent | 4a505c71ff8df0fb7e21c74a5d7d350449aa16d6 (diff) | |
| parent | 252c248faee5e775a27e95392cee7eb29b4a2320 (diff) | |
unity.migrations: add migration script to rename GNOME desktop files
We were still using legacy names, we should migrate favorites to new names. Using the values that is also gnome-shell doing. Approved by: Andrea Azzarone (bzr r4273)
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/unity.migrations | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/debian/unity.migrations b/debian/unity.migrations index 0c1cf8887..654f21ff5 100644 --- a/debian/unity.migrations +++ b/debian/unity.migrations @@ -1,6 +1 @@ -tools/migration-scripts/01_unity_change_dconf_path -tools/migration-scripts/02_unity_setup_text_scale_factor -tools/migration-scripts/03_unity_first_run_stamp_move -tools/migration-scripts/04_unity_update_software_center_desktop_file -tools/migration-scripts/05_unity_use_ubuntu_scaling_settings_schemas -tools/migration-scripts/06_unity_set_lowgfx_mode_settings_v1 +tools/migration-scripts/* |