mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-18 10:56:53 +00:00
Code Issues Wiki Activity
nixpkgs/pkgs/desktops/gnome/extensions
History
piegames 6aae2894ef gnomeExtensions: rename uuid field to extensionUuid
2021-07-14 03:23:36 +02:00
..
appindicator gnomeExtensions: rename uuid field to extensionUuid 2021-07-14 03:23:36 +02:00
arcmenu gnomeExtensions: rename uuid field to extensionUuid 2021-07-14 03:23:36 +02:00
caffeine gnomeExtensions: rename uuid field to extensionUuid 2021-07-14 03:23:36 +02:00
chrome-gnome-shell
clipboard-indicator gnomeExtensions.clipboard-indicator: 37 -> 38 2021-05-16 00:43:18 +02:00
clock-override gnomeExtensions: rename uuid field to extensionUuid 2021-07-14 03:23:36 +02:00
dash-to-dock gnomeExtensions: rename uuid field to extensionUuid 2021-07-14 03:23:36 +02:00
dash-to-panel gnomeExtensions: rename uuid field to extensionUuid 2021-07-14 03:23:36 +02:00
disable-unredirect
draw-on-your-screen
drop-down-terminal gnomeExtensions: rename uuid field to extensionUuid 2021-07-14 03:23:36 +02:00
dynamic-panel-transparency gnomeExtensions: rename uuid field to extensionUuid 2021-07-14 03:23:36 +02:00
EasyScreenCast gnomeExtensions: rename uuid field to extensionUuid 2021-07-14 03:23:36 +02:00
emoji-selector gnomeExtensions: rename uuid field to extensionUuid 2021-07-14 03:23:36 +02:00
freon gnomeExtensions: rename uuid field to extensionUuid 2021-07-14 03:23:36 +02:00
fuzzy-app-search gnomeExtensions: rename uuid field to extensionUuid 2021-07-14 03:23:36 +02:00
gsconnect gnomeExtensions: rename uuid field to extensionUuid 2021-07-14 03:23:36 +02:00
gtile gTile: init at 44 2021-05-24 14:39:47 -03:00
hot-edge
icon-hider gnomeExtensions: rename uuid field to extensionUuid 2021-07-14 03:23:36 +02:00
impatience gnomeExtensions: rename uuid field to extensionUuid 2021-07-14 03:23:36 +02:00
material-shell
mpris-indicator-button
night-theme-switcher gnomeExtensions: rename uuid field to extensionUuid 2021-07-14 03:23:36 +02:00
no-title-bar gnomeExtensions: rename uuid field to extensionUuid 2021-07-14 03:23:36 +02:00
noannoyance gnomeExtensions: normalize pnames 2021-05-24 23:41:24 +02:00
paperwm gnomeExtensions: rename uuid field to extensionUuid 2021-07-14 03:23:36 +02:00
pidgin-im-integration gnomeExtensions: rename uuid field to extensionUuid 2021-07-14 03:23:36 +02:00
sound-output-device-chooser gnomeExtensions: rename uuid field to extensionUuid 2021-07-14 03:23:36 +02:00
system-monitor gnomeExtensions: rename uuid field to extensionUuid 2021-07-14 03:23:36 +02:00
taskwhisperer gnomeExtensions: rename uuid field to extensionUuid 2021-07-14 03:23:36 +02:00
tilingnome gnomeExtensions: rename uuid field to extensionUuid 2021-07-14 03:23:36 +02:00
timepp
topicons-plus gnomeExtensions: rename uuid field to extensionUuid 2021-07-14 03:23:36 +02:00
unite gnomeExtensions: rename uuid field to extensionUuid 2021-07-14 03:23:36 +02:00
window-corner-preview gnomeExtensions: rename uuid field to extensionUuid 2021-07-14 03:23:36 +02:00
window-is-ready-remover
workspace-matrix
buildGnomeExtension.nix gnomeExtensions: Fix the package names 2021-05-25 02:35:04 +02:00
collisions.json gnome: Package all the GNOME extensions 2021-05-21 23:10:12 +02:00
default.nix gnomeExtensions: Remove remove-dropdown-arrows 2021-07-14 03:23:36 +02:00
extensionRenames.nix gnome: Package all the GNOME extensions 2021-05-21 23:10:12 +02:00
extensions.json gnome: Package all the GNOME extensions 2021-05-21 23:10:12 +02:00
manuallyPackaged.nix gnomeExtensions: Remove remove-dropdown-arrows 2021-07-14 03:23:36 +02:00
README.md gnome: Package all the GNOME extensions 2021-05-21 23:10:12 +02:00
update-extensions.py gnome: Package all the GNOME extensions 2021-05-21 23:10:12 +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.