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