2023-06-20 20:51:05 +02:00
2022-08-19 21:02:35 +02:00
2022-08-19 21:02:35 +02:00

cli-gnome-extension-manager

Bash script to install, activate and deactivate gnome extensions via CLI

Description
Bash script to install, activate and deactivate gnome extensions via CLI
Readme AGPL-3.0 40 KiB
Languages
Shell 100%