programs.astroid.extraConfig

JSON config that will override the default Astroid configuration.

Type

JSON value

Default

{ }

Example

{
  poll.interval = 0;
}

Declared

<home-manager/modules/programs/astroid>