Extensions

Chester Wyke June 28, 2023 Updated: April 15, 2025 #debian

List of useful extensions

Manual install process

Source: https://www.debugpoint.com/2021/10/manual-installation-gnome-extension/

Install gnome-shell-extensions

Required to manage and activate the new extensions

sudo apt install gnome-shell-extensions

Steps

  1. Go to official GNOME Extension website https://extensions.gnome.org/
  2. Choose your extension, then download for your GNOME version.
  3. Extract/unzip the files.
  4. Copy the entire folder to
~/.local/share/gnome-shell/extensions
  1. Open the metadata.json using a text editor (found inside the folder you just copied).
  2. Copy the uuid field and rename the extension folder with this uuid. This is required to GNOME to identify the Extension.
  3. The restart gnome, log off and back on is enough.