nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-29 18:33:00 +00:00
Code Issues Packages Projects Releases Wiki Activity
8d69226d2c
nixpkgs/pkgs/desktops/gnome/extensions/manuallyPackaged.nix

Ignoring revisions in .git-blame-ignore-revs. Click here to bypass and see the normal blame view.

22 lines
1.2 KiB
Nix
Raw Normal View History

gnome: Package all the GNOME extensions An automatic way to do this that scales up and requires little manual intervention is really needed. It works by scraping extensions.gnome.org with a python script, that writes all relevant information into the `extensions.json`. Every attribute of besaid file can be built into a package using `buildShellExtension`. Extensions are grouped by GNOME Shell version for practical reasons. Only extensions for GNOME 40 and 3.38 were added, as we don't support legacy GNOME versions. The extensions are exposed as an attrset, `pkgs.gnome40Extensions` and `pkgs.gnome38Extensions` respectively. The package name of each extensions is generated automatically from its UUID. The attribute `pkgs.gnomeExtensions` contains the officially packaged and supported extensions set. It contains all the automatically packaged extensions for the current GNOME Shell version, which are overwritten by manually packaged ones where needed. Unlike gnomeXYExtensions, the names are not UUIDs, but automatically generated human-friendly names. Naming collisions – which are tracked in collisions.json – need to be manually resolved in the `extensionRenames` attrset.
2021-05-10 21:01:02 +00:00
{ callPackage }:
{
gnomeExtensions: integrate manually packaged extensions better with the others Their keys are now not used directly. Instead, we go the standard route of mapping to the UUID in order to apply the rename procedure. This makes sure the manual override always does the correct thing, and also gives us more consistency overall.
2021-05-29 15:34:26 +00:00
"arcmenu@arcmenu.com" = callPackage ./arcmenu { };
gnomeExtensions.argos: init at 20220930 Signed-off-by: Anders Kaseorg <andersk@mit.edu>
2022-10-17 22:00:18 +00:00
"argos@pew.worldwidemann.com" = callPackage ./argos { };
gnomeExtensions: integrate manually packaged extensions better with the others Their keys are now not used directly. Instead, we go the standard route of mapping to the UUID in order to apply the rename procedure. This makes sure the manual override always does the correct thing, and also gives us more consistency overall.
2021-05-29 15:34:26 +00:00
"clock-override@gnomeshell.kryogenix.org" = callPackage ./clock-override { };
"drop-down-terminal@gs-extensions.zzrough.org" = callPackage ./drop-down-terminal { };
"EasyScreenCast@iacopodeenosee.gmail.com" = callPackage ./EasyScreenCast { };
"gsconnect@andyholmes.github.io" = callPackage ./gsconnect { };
"impatience@gfxmonk.net" = callPackage ./impatience { };
"no-title-bar@jonaspoehler.de" = callPackage ./no-title-bar { };
"pidgin@muffinmad" = callPackage ./pidgin-im-integration { };
gnomeExtensions.pop-shell: init at unstable-2021-11-30
2021-11-26 22:09:33 +00:00
"pop-shell@system76.com" = callPackage ./pop-shell { };
gnomeExtensions: integrate manually packaged extensions better with the others Their keys are now not used directly. Instead, we go the standard route of mapping to the UUID in order to apply the rename procedure. This makes sure the manual override always does the correct thing, and also gives us more consistency overall.
2021-05-29 15:34:26 +00:00
"sound-output-device-chooser@kgshank.net" = callPackage ./sound-output-device-chooser { };
"taskwhisperer-extension@infinicode.de" = callPackage ./taskwhisperer { };
"tilingnome@rliang.github.com" = callPackage ./tilingnome { };
"TopIcons@phocean.net" = callPackage ./topicons-plus { };
gnomeExtensions.unite: 72 -> 77 This reverts commit a0f20138a4323764ead04e7ffda25dbc15dd81c6.
2023-11-27 01:18:48 +00:00
# Can be removed when https://github.com/hardpixel/unite-shell/issues/353 resolved
"unite@hardpixel.eu" = callPackage ./unite { };
gnomeExtensions.valent: init at unstable-2023-03-18 Signed-off-by: Federico Damián Schonborn <fdschonborn@gmail.com>
2023-04-15 20:14:04 +00:00
"valent@andyholmes.ca" = callPackage ./valent { };
gnomeExtensions: integrate manually packaged extensions better with the others Their keys are now not used directly. Instead, we go the standard route of mapping to the UUID in order to apply the rename procedure. This makes sure the manual override always does the correct thing, and also gives us more consistency overall.
2021-05-29 15:34:26 +00:00
"window-corner-preview@fabiomereu.it" = callPackage ./window-corner-preview { };
gnome: Package all the GNOME extensions An automatic way to do this that scales up and requires little manual intervention is really needed. It works by scraping extensions.gnome.org with a python script, that writes all relevant information into the `extensions.json`. Every attribute of besaid file can be built into a package using `buildShellExtension`. Extensions are grouped by GNOME Shell version for practical reasons. Only extensions for GNOME 40 and 3.38 were added, as we don't support legacy GNOME versions. The extensions are exposed as an attrset, `pkgs.gnome40Extensions` and `pkgs.gnome38Extensions` respectively. The package name of each extensions is generated automatically from its UUID. The attribute `pkgs.gnomeExtensions` contains the officially packaged and supported extensions set. It contains all the automatically packaged extensions for the current GNOME Shell version, which are overwritten by manually packaged ones where needed. Unlike gnomeXYExtensions, the names are not UUIDs, but automatically generated human-friendly names. Naming collisions – which are tracked in collisions.json – need to be manually resolved in the `extensionRenames` attrset.
2021-05-10 21:01:02 +00:00
}
Reference in New Issue Copy Permalink