Simple extension to enable/disable installed extensions. - gnome-shell 3.4 support added thanks to community
Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.
> const EXTENSIONS_PATH = "/.local/share/gnome-shell/extensions"; > const SW_EXTENSIONS_PATH = "/usr/share/gnome-shell/extensions" No. You need to use global.userdatadir and GLib.get_system_data_dirs().