2023-06-20 20:38:09 +02:00
2023-06-20 20:38:09 +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 207 KiB
Languages
Python 72.4%
Shell 21.3%
Makefile 5.5%
Dockerfile 0.8%