programs.astroid.extraConfig
Home-Manager option
JSON config that will override the default Astroid configuration.
type: JSON valueDefault
{ }Example
declared in: <home-manager/modules/programs/astroid>source unavailable{ poll.interval = 0; }