programs.gnome-shell.extensions.*.id
Home-Manager option
ID of the GNOME Shell extension. If not provided, it will be obtained from package.extensionUuid.
type: stringExample
declared in: <home-manager/modules/programs/gnome-shell.nix>source unavailable"user-theme@gnome-shell-extensions.gcampax.github.com"