Extensions

    Published: 2023-06-28
    Updated: 2023-11-08

    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.