GNOME Shell extensions

All extensions are packaged automatically. They can be found in the pkgs.gnomeXYExtensions for XY being a GNOME version. The package names are the extensions UUID, which can be a bit unwieldy to use. pkgs.gnomeExtensions is a set of manually curated extensions that match the current pkgs.gnome-shell versions. Their name is human-friendly, compared to the other extensions sets. Some of its extensions are manually packaged.

Automatically packaged extensions

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.

Extensions updates

For everyday updates,

  1. Run update-extensions.py.
  2. Update extensionRenames.nix according to the comment at the top.

To package the extensions for new GNOME version,

  1. Add a new gnomeXYExtensions set in default.nix.
  2. Update all-packages.nix accordingly. (grep for gnomeExtensions)
  3. Update supported_versions in update-extensions.py.
  4. Follow the For everyday updates section.

For GNOME updates,

  1. Follow the To package the extensions for new GNOME version section if required.
  2. Update versions_to_merge variable in ./update-extensions.py.
  3. Run update-extensions.py --skip-fetch, and update extensionRenames.nix according to the comment at the top.
  4. Update gnomeExtensions in default.nix to the new versions.

Manually packaged extensions

Manually packaged extensions overwrite some of the automatically packaged ones in pkgs.gnomeExtensions. They are listed in manuallyPackaged.nix, every extension has its own sub-folder.