BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
nixpkgs-suyu/pkgs/desktops/gnome/extensions
History
Alex Martens 0d2b8f5911 gnomeExtensions.dash-to-panel: 44 -> 45
2021-11-13 14:44:55 -08:00
..
arcmenu
caffeine
chrome-gnome-shell
clock-override
dash-to-panel gnomeExtensions.dash-to-panel: 44 -> 45 2021-11-13 14:44:55 -08:00
drop-down-terminal
EasyScreenCast gnomeExtensions.easyScreenCast: unstable-2020-11-25 -> 1.4.0 2021-10-26 16:47:40 +03:00
emoji-selector Merge pull request #124773 from r-ryantm/auto-update/gnome-shell-extension-emoji-selector 2021-10-11 15:07:34 +02:00
freon
gsconnect gnomeExtensions.gsconnect: 47 → 48 2021-10-09 21:35:56 +02:00
icon-hider
impatience
night-theme-switcher gnomeExtensions.night-theme-switcher: 50 -> 53 (#142346) 2021-10-22 13:14:36 +02:00
no-title-bar
paperwm
pidgin-im-integration
sound-output-device-chooser
system-monitor gnomeExtensions.system-monitor: unstable-2021-06-19 → unstable-2021-09-07, support GNOME 41 (#142156) 2021-10-22 13:13:52 +02:00
taskwhisperer
tilingnome
topicons-plus
window-corner-preview
buildGnomeExtension.nix
collisions.json gnomeExtensions: auto-update 2021-11-02 11:03:56 -07:00
default.nix gnomeExtensions: set default version to 41 2021-10-27 00:18:43 +02:00
extensionOverrides.nix gnomeExtensions.dash-to-dock: unstable-2021-10-03 -> 70 2021-10-18 12:01:54 +02:00
extensionRenames.nix gnomeExtensions: auto-update 2021-11-02 11:03:56 -07:00
extensions.json gnomeExtensions: auto-update 2021-11-02 11:03:56 -07:00
manuallyPackaged.nix gnomeExtensions.dash-to-dock: unstable-2021-10-03 -> 70 2021-10-18 12:01:54 +02:00
README.md
update-extensions.py gnomeExtensions: auto-update and add gnome41Extensions 2021-10-27 00:18:15 +02:00

README.md

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 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.

Extensions updates

For everyday updates,

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

For GNOME updates,

  1. Add a new gnomeXYExtensions set
  2. Remove old ones for GNOME versions we don’t want to support any more
  3. Update supported_versions in ./update-extensions.py and re-run it
  4. Change gnomeExtensions to the new version
  5. Update ./extensionsRenames.nix accordingly

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.