This quick tutorial is going to show beginners how to install and manage Gnome Shell Extensions in Ubuntu 17.10 while it uses Gnome Shell as default desktop environment. Gnome Shell Extensions are small pieces of code written by third party developers. If you are familiar with Chrome Extensions or Firefox Addons, GNOME Shell extensions are… Continue reading Quick Tip: How to Install Gnome Extensions in Ubuntu 17.10
Tag: Gnome Shell Extension
Enable ‘Shell theme’ in Gnome Tweak Tool in Ubuntu
This quick tutorial is going to show Gnome Desktop beginners how to enable the ‘Shell theme’ drop-down box in the Gnome Tweak Tool. A Gnome Shell theme changes shell buttons, colors, panels, etc. The setting is disabled by default in Gnome Tweak Tool, and you’ll see the prompt “Shell user-theme extension not enabled” when you… Continue reading Enable ‘Shell theme’ in Gnome Tweak Tool in Ubuntu