mirror of
https://github.com/kevinveenbirkenbach/cli-gnome-extension-manager.git
synced 2024-07-27 04:33:10 +02:00
Bash script to install, activate and deactivate gnome extensions via CLI
gnome-extension-manager.sh | ||
LICENSE | ||
README.md |
cli-gnome-extension-manager
Bash script to install, activate and deactivate gnome extensions via CLI