mirror of
https://github.com/nix-community/nixvim.git
synced 2025-06-22 17:03:31 +02:00
6484938d4b
* plugins/coq: Switch to mkNeovimPlugin This allows the user to define additional options unpackaged by nixvim. No new options were defined, nor any old option was deleted. Fixes #1114
25 lines
389 B
Nix
25 lines
389 B
Nix
{
|
|
empty = {
|
|
plugins.coq-nvim.enable = true;
|
|
};
|
|
|
|
nixvim-defaults = {
|
|
plugins.coq-nvim = {
|
|
enable = true;
|
|
|
|
settings = {
|
|
xdg = true;
|
|
auto_start = true;
|
|
keymap.recommended = true;
|
|
completion.always = true;
|
|
};
|
|
};
|
|
};
|
|
|
|
artifacts = {
|
|
plugins.coq-nvim = {
|
|
enable = true;
|
|
installArtifacts = true;
|
|
};
|
|
};
|
|
}
|