# 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`:

```text
<uuid> <source>
```

Supported source values:
- local zip path
- zip URL
- git URL
- git URL with subdir (`...git#path/to/extension`)

Example (`scripts/extensions.txt`):

```text
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

```bash
sudo bash scripts/apply-extension-defaults.sh
```

Dry run:

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

Override users:

```bash
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`).