Yes, as pointed out there is a migration problem. I don't have the best answer for this (hoping someone will come up with the right one). I'd prefer not using the old name for the .desktop file but if that is the best solution then we can do that. I figure we just need a good solution before 3.8 final.
Patches welcome :) On 15 November 2012 12:48, Michael Biebl <[email protected]> wrote: > 2012/11/15 Jasper St. Pierre <[email protected]> > >> We should keep the desktop files so that they have the same name, >> hopefully. It's always been an internal UUID of sorts (we still have >> "epiphany", "file-roller", "baobab", etc.) > > > Keeping the old .desktop file name would obviously result in the least > amount of work. > But in practice there have been quite a few renamings, > like palimpsest.desktop -> gnome-disks.desktop > > > -- > Why is it that all of the instruments seeking intelligent life in the > universe are pointed away from Earth? > > _______________________________________________ > desktop-devel-list mailing list > [email protected] > https://mail.gnome.org/mailman/listinfo/desktop-devel-list >
_______________________________________________ desktop-devel-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/desktop-devel-list
