A bash script to search and install extensions from extensions.gnome.org
Why do you think that https://github.com/nordtheme/gnome-terminal is a good alternative to gnome-shell-extension-installer
A bash script to search and install extensions from extensions.gnome.org
Why do you think that https://github.com/nordtheme/gnome-terminal is a good alternative to gnome-shell-extension-installer