plugins.coq-nvim.settings
Options provided to the require('coq-nvim').setup
function.
Type: attribute set of anything
Default:
{ }
Example:
{
callback = {
__raw = ''
function()
print('nixvim')
end
'';
};
foo_bar = 42;
hostname = "localhost:8080";
}
Declared by:
plugins.coq-nvim.settings.auto_start
Auto-start or shut up
Type: null or boolean or value “shut-up” (singular enum) or raw lua code
Default:
null
Declared by:
plugins.coq-nvim.settings.xdg
Use XDG paths. May be required when installing coq with Nix.
Type: boolean
Default:
true
Declared by: