Installing and Uninstalling Gnome Extensions on RHEL7 Linux

Gnome extensions, much like browser extensions/addons, expand the functionality of the Desktop Environment for RHEL7, Gnome. You can find out more about Gnome extensions. For example, you can enable a frequently requested shell extension, one that disables the “hot corner” that opens the activities overview when you move your mouse to the top left corner of the screen.  If you want to add a different extension, please substitute your chosen extension accordingly.  Multiple extensions can be installed and enabled at once. When troubleshooting issues with the desktop environment on Linux, please disable extensions first, as having too many can cause problems. 

Installing a Gnome shell extension

  1. Open a terminal window.
  2. Get the Gnome version. You will then see something similar to “GNOME Shell 3.xx.x.” Run the following command.
    gnome-shell --version
    gnome-shell --version
  3. Download the Gnome extension that you would like.
  4. Select the version of Gnome from the previous step.
  5. Use the latest extension version (largest number).
  6. It will begin to download after selecting the two options.
    Gnome extension download
  7. Open a terminal.
  8. Get to the download location. Run the following command.
    cd
    Example: cd ~/Downloads
  9. Get the UUID of the extension. Use nohotcorner@azuri.free.fr in this case. Run the following command, substituting the name of the zip file you downloaded for your chosen extension if you are installing a different one.
    unzip -c nameofzipfile.zip | grep uuid | cut -d \" -f4
    Example:unzip -c nohotcornerazuri.free.fr.v19.shell-extension.zip | grep uuid | cut -d \" -f4
  10. Create a directory for the extension. Run the following command, substituting the UUID of your chosen extension if you are installing a different one.
    mkdir -pv ~/.local/share/gnome-shell/extensions/UUID
    Example:mkdir -pv ~/.local/share/gnome-shell/extensions/nohotcorner@azuri.free.fr
  11. Unzip the extension into the previously created directory. Run the following command.
    unzip -q nameofzipfile.zip -d ~/.local/share/gnome-shell/extensions/UUID/
    Example:unzip -q nohotcornerazuri.free.fr.v19.shell-extension.zip -d ~/.local/share/gnome-shell/extensions/nohotcorner@azuri.free.fr/
  12. Log out, then log in to be sure that the changes have taken effect.
  13. Open the Gnome Tweaks tool by going to the top bar.
    1. Select Applications > Accessories > Tweaks
    2. Select the Extensions tab on the left of the Tweaks tool
    3. Set the toggle by Extensions at the top to ON.
    4. Set the toggle by No topleft hot corner to ON.
      Tweaks > Extensions​​​​​

Uninstalling a Gnome shell extension

  1. Open the Gnome Tweaks tool by going to the top bar.
    1. Select Applications > Accessories > Tweaks
    2. Select the Extensions tab on the left of the Tweaks tool
    3. Set the toggle by the extension you'd like to remove to OFF.
  2. Log out, then log in to be sure that the changes have taken effect.
  3. Remove the extension’s install directory. For our hot corner example, run the folllowing command.
    rm -r ~/.local/share/gnome-shell/extensions/nameoffile
    Example:rm -r ~/.local/share/gnome-shell/extensions/nohotcorner@azuri.free.fr
Was this helpful?
0 reviews

Details

Article ID: 95775
Created
Mon 1/13/20 5:55 PM
Modified
Thu 6/18/20 8:27 AM