Archives For Gnome Shell Extension

gnome shell

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 similar to them.

How to Install Gnome Shell Extensions

Gnome maintains a website, extensions.gnome.org, for users to install or upgrade extensions. All extensions there are carefully reviewed for malicious behavior before they are made available for download.

To be able to install Gnome Shell Extensions in Ubuntu 17.10, do following steps:

1. Install add-on for your web browser:

2. Open terminal either via Ctrl+Alt+T, or by searching “terminal” from app launcher. When it opens, run command:

sudo apt install chrome-gnome-shell

Input your password (no visual feedback while typing) when it prompts and hit Enter.

3. Finally go to extensions.gnome.org via your browser, install any Gnome Shell Extension by turning on the switch on the web.

Manage Gnome Shell Extensions

Gnome Tweak Tool has an page for managing installed Gnome Shell Extensions.

Search for and install ‘Gnome Tweaks’ in Ubuntu Software app:

Then launch it and manage installed Gnome Shell Extensions in “Extensions” tab.

gnome shell

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 hover the cursor over the alert icon.

shell theme disabled

As it prompts, you need to enable user-theme extension. While it’s not available by default, install it via following steps:

1. Open Firefox web browser and go to https://extensions.gnome.org:

Click the link text “click here to install browser extension” and follow the pop-ups to install the browser extension:

shell browser extension

2. After that, refresh the web page, if you get an error prompt that “native host connector is not detected“,

then open terminal via Ctrl+Alt+T and run command:

sudo apt install chrome-gnome-shell

gnome shell extension

3. Finally go to https://extensions.gnome.org/extension/19/user-themes/.

Click the switch to turn on and then select install the Gnome Shell extension:

User Themes extension

After all, restart Gnome Tweak Tool and you’ll see the Shell theme drop-down box enabled after enabled the User Themes extension.

shell theme enabled