nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-27 01:13:05 +00:00
Code Issues Packages Projects Releases Wiki Activity
1a805fcd23
nixpkgs/pkgs/desktops/gnome/extensions
History
Fabián Heredia Montiel 1a805fcd23 gnomeExtensions: update extensions.json
2022-03-25 11:36:22 -06:00
..
arcmenu gnomeExtensions.arcmenu: 23 -> 24 2022-03-03 20:27:58 +00:00
chrome-gnome-shell
clock-override gnomeExtensions: integrate manually packaged extensions better with the others 2021-07-14 03:35:11 +02:00
dash-to-dock gnomeExtensions.dash-to-dock: 71+date=2022-01-24 -> 71+date=2022-02-23 2022-02-24 13:51:29 +01:00
drop-down-terminal gnomeExtensions: integrate manually packaged extensions better with the others 2021-07-14 03:35:11 +02:00
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
extensionOverridesPatches gnomeExtensions.volume-mixer: add override to fix extension 2022-01-12 16:55:54 +01:00
freon gnomeExtensions.freon: 45 → unstable-2022-02-05 2022-03-25 11:36:22 -06:00
gsconnect gnomeExtensions.gsconnect: 53 → 50 2022-03-25 11:36:21 -06:00
icon-hider gnomeExtensions: integrate manually packaged extensions better with the others 2021-07-14 03:35:11 +02:00
impatience gnomeExtensions: integrate manually packaged extensions better with the others 2021-07-14 03:35:11 +02:00
night-theme-switcher gnomeExtensions.night-theme-switcher: 50 -> 53 (#142346) 2021-10-22 13:14:36 +02:00
no-title-bar gnomeExtensions: integrate manually packaged extensions better with the others 2021-07-14 03:35:11 +02:00
paperwm gnomeExtensions: rename uuid field to extensionUuid 2021-07-14 03:23:36 +02:00
pidgin-im-integration gnomeExtensions: integrate manually packaged extensions better with the others 2021-07-14 03:35:11 +02:00
pop-shell gnomeExtensions.pop-shell: fix executables 2022-02-08 23:45:26 +01:00
sound-output-device-chooser gnomeExtensions.sound-output-device-chooser: 38 -> 39 2021-11-14 20:12:04 +02:00
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 gnomeExtensions.taskwhisperer: 16 -> 20 2022-01-04 11:20:23 +01:00
tilingnome gnomeExtensions.tilingGnome: remove unstable in pname 2021-09-11 01:18:08 +02:00
topicons-plus gnomeExtensions: rename uuid field to extensionUuid 2021-07-14 03:23:36 +02:00
window-corner-preview gnomeExtensions: integrate manually packaged extensions better with the others 2021-07-14 03:35:11 +02:00
buildGnomeExtension.nix gnomeExtensions: add patch framework 2021-09-08 22:54:31 +02:00
collisions.json gnomeExtensions: add GNOME 42 extensions 2022-03-20 17:59:37 +01:00
default.nix gnomeExtensions: 41 → 42 2022-03-25 15:02:50 +01:00
extensionOverrides.nix gnomeExtensions.dash-to-dock: Build from source again 2022-02-18 17:28:28 +01:00
extensionRenames.nix gnomeExtensions: auto-update 2022-03-20 17:59:14 +01:00
extensions.json gnomeExtensions: update extensions.json 2022-03-25 11:36:22 -06:00
manuallyPackaged.nix gnomeExtensions.dash-to-dock: Build from source again 2022-02-18 17:28:28 +01:00
README.md gnomeExtensions: improve README 2021-11-23 15:08:30 +01:00
update-extensions.py gnomeExtensions: add GNOME 42 extensions 2022-03-20 17:59:37 +01: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 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.

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
  6. Update all-packages.nix accordingly (grep for gnomeExtensions)

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.