This bash script allows you to manually install GNOME extensions from a ZIP file. It's a helpful tool for installing GNOME extensions from local files rather than using GNOME Extensions or other online sources.
-
Save the
install_gnome_extension.sh
script to your local machine. -
Make the script executable:
chmod +x install_gnome_extension.sh
-
Run the script, passing the path to your GNOME extension ZIP file as an argument:
./install_gnome_extension.sh /path/to/your/extension.zip
- The script unpacks the provided ZIP file to a temporary directory.
- It extracts the UUID from the extension's
metadata.json
file. - It checks if an extension with the same UUID is already installed. If so, it halts the installation and notifies you.
- It creates the necessary directories and installs the extension.
- Finally, it cleans up the temporary files and gives you instructions on how to enable the extension.
After running the script, you need to restart GNOME Shell to enable the extension. You can do this by logging out and back in. If you're using an X11 session, you can also press Alt+F2, type r
, and then press Enter.