deskutils/gnome-shell-extension-manager: add port: Browse, install, and manage GNOME extensions with ease
Extension Manager is a feature-complete way to customise your GNOME
Desktop.
- Browse Search https://extensions.gnome.org/ directly from the app.
- Explore View screenshots and read comments from other users.
- Install & Remove Manage the extensions installed on your system.
- Updates Extensions will be automatically updated to the latest version (GNOME 43+).
- Translations Fully translated into more than 25 languages!