4f0dadbf38
After final improvements to the official formatter implementation,
this commit now performs the first treewide reformat of Nix files using it.
This is part of the implementation of RFC 166.
Only "inactive" files are reformatted, meaning only files that
aren't being touched by any PR with activity in the past 2 months.
This is to avoid conflicts for PRs that might soon be merged.
Later we can do a full treewide reformat to get the rest,
which should not cause as many conflicts.
A CI check has already been running for some time to ensure that new and
already-formatted files are formatted, so the files being reformatted here
should also stay formatted.
This commit was automatically created and can be verified using
nix-build
|
||
|---|---|---|
| .. | ||
| arcmenu | ||
| argos | ||
| clock-override | ||
| drop-down-terminal | ||
| EasyScreenCast | ||
| extensionOverridesPatches | ||
| gsconnect | ||
| guillotine | ||
| icon-hider | ||
| impatience | ||
| no-title-bar | ||
| pidgin-im-integration | ||
| pop-shell | ||
| sound-output-device-chooser | ||
| systemd-manager | ||
| taskwhisperer | ||
| tilingnome | ||
| topicons-plus | ||
| unite | ||
| valent | ||
| window-corner-preview | ||
| buildGnomeExtension.nix | ||
| collisions.json | ||
| default.nix | ||
| extensionOverrides.nix | ||
| extensionRenames.nix | ||
| extensions.json | ||
| manuallyPackaged.nix | ||
| README.md | ||
| update-extensions.py | ||
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 extension’s UUID, which can be a bit unwieldy to use. pkgs.gnomeExtensions is a set of manually curated extensions that match the current gnome.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,
- Run
update-extensions.py. - Update
extensionRenames.nixaccording to the comment at the top.
For GNOME updates,
- Add a new
gnomeXYExtensionsset - Remove old ones for GNOME versions we don’t want to support any more
- Update
supported_versionsin./update-extensions.pyand re-run it - Change
gnomeExtensionsto the new version - Update
./extensionsRenames.nixaccordingly - Update
all-packages.nixaccordingly (grep forgnomeExtensions)
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.