3 ms·
Gnome Shell is about extensions, you want something to work differently - find a suitable plugin or write it.
by chupasaurus 8y ago
Gnome Shell is about extensions, you want something to work differently - find a suitable plugin or write it.
- xab9 8y agoExcept when they break horribly. Some of them modifies gsettings directly, so even if you remove it, you still have to clean them up manually.
- levesque 8y agoExactly. I had setup some dock extensions before Ubuntu went back to gnome and I'm stuck with it now, can't seem to be able to switch back. Deactivating / uninstalling said extension didn't work. I uninstalled it years after installing so probably the settings changed name or something.
- chupasaurus 8y agoIt's up to developer/maintainer to provide rollback. My experience with Gnome 3 isn't deep because I've switched to KDE after 2 months of tinkering and feel happy ever since.
- xab9 8y agoKDE is kinda okay now, but I just can't forget the nuclear clusterfuck called kde 4 back in the day. I kinda tolerate gnome 3 (despite its marvellously obvious flaws) for now and if I find it way too annoying, I'll rip it out and use fluxbox or smg similarly low level wm.
- digi_owl 8y agoFunny, i thought that extensions where "here be dragons" territory where the APIs may break at any moment etc. Meaning that it is a fig leaf from the Gnome devs to power users.