programs.antigravity.mutableExtensionsDir
Home-Manager option
boolean
Whether extensions can be installed or updated manually or by Antigravity. Mutually exclusive to programs.antigravity.profiles.
type: booleanDefault
(removeAttrs config.programs.antigravity.profiles [ "default" ]) == { }Example
declared in: <home-manager/modules/programs/antigravity.nix>source unavailablefalse