Bash script to enable/disable gnome-shell-extensions and more
Primary LanguageShellGNU General Public License v3.0GPL-3.0