.. | ||
arcmenu | ||
argos | ||
clock-override | ||
drop-down-terminal | ||
EasyScreenCast | ||
extensionOverridesPatches | ||
gnome-browser-connector | ||
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.nix
according to the comment at the top.
For GNOME updates,
- Add a new
gnomeXYExtensions
set - Remove old ones for GNOME versions we don’t want to support any more
- Update
supported_versions
in./update-extensions.py
and re-run it - Change
gnomeExtensions
to the new version - Update
./extensionsRenames.nix
accordingly - Update
all-packages.nix
accordingly (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.