This application should manage the extensions for gnome-shell in the user space. Therefore it should download and install extensions from the gnome extensions website or from the extension git repo. The most commands are the same as for apt-get on debian based Linux distributions
The following commndas are planed:
- install
download the plugin and installed it in the right location - update
update the local extension catalog - upgrade
check for outdated plugins and update them - activate
Activate the extension - deactivate
deactivate a extension - remove
deactivate and deinstall the plugin - purge
deinstall the plugin and remove the configuration