services.avizo.settings

Home-Manager option

The settings that will be written to the avizo configuration file.

type: attribute set of section of an INI file (attrs of INI atom (null, bool, int, float or string))
Default
{ }
Example
{ default = { time = 1.0; y-offset = 0.5; fade-in = 0.1; fade-out = 0.2; padding = 10; }; }
declared in: <home-manager/modules/services/avizo.nix>source unavailable