I made an article listing the best Gnome shell extensions. Hopefully you’ll find something new. Let me know if there’s a good extension I missed.
I made an article listing the best Gnome shell extensions. Hopefully you’ll find something new. Let me know if there’s a good extension I missed.
deleted by creator
GNOME is definitely a very weird foundation for a popular DE, I agree, but it works for a lot of people. The extension library is very rich and easy to use, so I do not think it is fair to call it crippling, when it gives power users flexibility.