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