programs.micro.settings
Home-Manager option
Configuration written to $XDG_CONFIG_HOME/micro/settings.json. See https://github.com/zyedidia/micro/blob/master/runtime/help/options.md for supported values.
type: JSON valueDefault
{ }Example
declared in: <home-manager/modules/programs/micro.nix>source unavailable{ autosu = false; cursorline = false; }