programs.gnome-shell.extensions.*

ID of the GNOME Shell extension

Package providing a GNOME Shell extension in $out/share/gnome-shell/extensions/${id}