woelkchen, 1 year ago As I understand it, that’s not even needed because the current DE choice is being preserved at an upgrade. The only thing that needs manual tweaking is reinstalling the extensions from the Gnome website which isn’t really an issue at all.
As I understand it, that’s not even needed because the current DE choice is being preserved at an upgrade. The only thing that needs manual tweaking is reinstalling the extensions from the Gnome website which isn’t really an issue at all.