plugins.distant.settings.servers
Collection of settings for servers defined by their hostname.
A key of "*"
is special in that it is considered the default for all servers and will be
applied first with any host-specific settings overwriting the default.
Type: null or (attribute set of (attribute set of anything))
Default:
null
Plugin default:
{
"*" = {
connect = {
default = { };
};
cwd = null;
launch = {
default = { };
};
lsp = { };
};
}
Example:
{
"192.168.1.42" = {
default = {
port = 11451;
username = "me";
};
};
}
Declared by:
plugins.distant.settings.servers.<name>.cwd
If specified, will apply the current working directory to any cases of spawning processes, opening directories & files, starting shells, and wrapping commands.
Will be overwritten if an explicit cwd
or absolute path is provided in those
situations.
Type: null or string or raw lua code
Default:
null
Plugin default: null
Declared by:
plugins.distant.settings.servers.<name>.lsp
Settings to use to start LSP instances. Mapping of a label to the settings for that specific LSP server
Type: null or (attribute set of ((attribute set of anything) or raw lua code)) or raw lua code
Default:
null
Plugin default: { }
Declared by: