A utility for browsing and installing GNOME Shell Extensions.
Why do you think that https://github.com/r-darwish/topgrade is a good alternative to extension-manager
A utility for browsing and installing GNOME Shell Extensions.
Why do you think that https://github.com/r-darwish/topgrade is a good alternative to extension-manager