···4455## Automatically packaged extensions
6677-The actual packages are created by `buildGnomeExtensions.nix`, provided the correct arguments are fed into it. The important extension data is stored in `extensions.json`, one line/item per extension. That file is generated by running `update-extensions.py`. Furthermore, the automatic generated names are dumped in `collisions.json` for manual inspection. `extensionRenames.nix` contains provides new names for all extensions that collide.
77+The actual packages are created by `buildGnomeExtension.nix`, provided the correct arguments are fed into it. The important extension data is stored in `extensions.json`, one line/item per extension. That file is generated by running `update-extensions.py`. Furthermore, the automatic generated names are dumped in `collisions.json` for manual inspection. `extensionRenames.nix` contains new names for all extensions that collide.
8899### Extensions updates
1010···20203. Update `supported_versions` in `./update-extensions.py` and re-run it
21214. Change `gnomeExtensions` to the new version
22225. Update `./extensionsRenames.nix` accordingly
2323+6. Update `all-packages.nix` accordingly (grep for `gnomeExtensions`)
23242425## Manually packaged extensions
2526