I'm looking for a way to reliably install gnome-shell extensions on the command line. At the end of the day, I'd like to have an Ansible playbook.
As an example, I'd like to install custom-hot-corners-extended.
I found "Install GNOME extension using command line" on medium.com and also "How to install Gnome Extensions on Ubuntu 20.04" on linuxhint.com. Following these, I did:
wget -O/tmp/extension.zip https://extensions.gnome.org/extension-data/custom-hot-corners-extendedG-dH.github.com.v11.shell-extension.zip
uuid=$(unzip -c /tmp/extension.zip metadata.json | grep uuid | cut -d \" -f4)
unzip /tmp/extension.zip -d "~/.local/share/gnome-shell/extensions/$uuid"
gnome-shell-extension-tool -e "$uuid"
# or:
gnome-extensions enable "$uuid"
But it doesn't work - I get an error: Extension »custom-hot-corners-extended@G-dH.github.com« does not exist
It's (of course) also not shown in gnome-extensions-app. Manually installing the from the GNOME Extensions site in the browser works just fine.
Also tried using the gnome-shell-extension-installer script from brunelli - also no go… :/
I'm using GNOME Shell 40.5 on Ubuntu 21.10 Impish.