# Your locally installed gnome Shell extensions, i.e., these that are installed for your user only, can be listed with the commmand: ls ~/.local/share/gnome-shell/extensions/ # You can find out which extensions are enables by querying a dconf setting: gsettings get org.gnome.shell enabled-extensions # System wide installed gnome-shell extensions are listed with the command ls /usr/share/gnome-shell/extensions/
Here is what the above code is Doing:
1. It’s creating a new directory in the /usr/share/gnome-shell/extensions/ directory.
2. It’s copying the extension’s metadata.json file into the new directory.
3. It’s copying the extension’s directory into the new directory.
4. It’s restarting the gnome-shell.