programs.gnome-shell.extensions.*.package
Home-Manager option
Package providing a GNOME Shell extension in $out/share/gnome-shell/extensions/${id}.
type: packageExample
declared in: <home-manager/modules/programs/gnome-shell.nix>source unavailable"pkgs.gnome-shell-extensions"