Global Extension Installer

Installs GNOME Shell extensions system-wide, sets default enabled extensions for new users, and applies the same list to existing users.

Source List

Edit scripts/extensions.txt:

<uuid> <source>

Supported source values:

local zip path
zip URL
git URL
git URL with subdir (...git#path/to/extension)

Example (scripts/extensions.txt):

user-switcher@felixfoertsch.de ../gnome-user-switcher-extension/dist/user-switcher@felixfoertsch.de.shell-extension.zip
dash-to-panel@jderose9.github.com https://github.com/home-sweet-gnome/dash-to-panel.git

Run

sudo bash scripts/apply-extension-defaults.sh

Dry run:

bash scripts/apply-extension-defaults.sh --dry-run

Override users:

sudo bash scripts/apply-extension-defaults.sh --users kari,owen,romy

Notes

System install target: /usr/share/gnome-shell/extensions/
The script normalizes permissions after install (root:root, dirs 755, files 644).