mirror of
https://github.com/kevinveenbirkenbach/cli-gnome-extension-manager.git
synced 2024-11-25 01:31:04 +01:00
103 B
103 B
cli-gnome-extension-manager
Bash script to install, activate and deactivate gnome extensions via CLI