Probably not trivial, that's sort of a race between dpkg and gnome-panel. Maybe the packages should "touch desktop.desktop" after the installation? Or maybe gnome-panel should put a watch for that. Michael, Vincent, do you have an opinion on what would be the best option?
Probably not trivial, that's sort of a race between dpkg and gnome-panel. Maybe the packages should "touch desktop.desktop" after the installation? Or maybe gnome-panel should put a watch for that. Michael, Vincent, do you have an opinion on what would be the best option?