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: