mirror of
https://github.com/nix-community/nixvim.git
synced 2025-07-02 21:34:33 +02:00
3f9effc575
* barbar: package option * Base16: package option * gruvbox: package option * nord: package option * one: package option * onedark: package option * tokyonight: package option * nvim-cmp: package option * coq: package option * lspkind: package option * helpers: added package option to mkPlugin * fugitive: package option * gitgutter: package option * gitsigns: package option * neogit: package option * ledger: package option * nix: package option * plantuml-syntax: package option * treesitter-context: package option + formatting * treesitter-refactor: package option + formatting * treesitter: package option * zig: package option * null-ls: package option * null-ls/servers: package option * lsp-lines: package option * lspsaga: package option * trouble: package option * luasnip: added description for package option * airline: package option * lightline: package option * lualine: package option * telescope: package option * telescope/frecency: package option * telescope/fzf-native: package option * telescope/media-files: package option * comment-nvim: package option * vim-commentary: package option * dashboard: package option * easyescape: package option * emmet: package option * endwise: package option * floaterm: package option * goyo: package option * intellitab: package option * mark-radar: package option * notify: package option * nvim-autopairs: package option * nvim-tree: package option * project-nvim: package option * specs: package option * startify: package option * surround: package option * undotree: package option
54 lines
1.4 KiB
Nix
54 lines
1.4 KiB
Nix
{ pkgs, lib, config, ... }:
|
|
with lib;
|
|
let
|
|
cfg = config.plugins.coq-nvim;
|
|
helpers = import ../helpers.nix { lib = lib; };
|
|
plugins = import ../plugin-defs.nix { inherit pkgs; };
|
|
|
|
in
|
|
{
|
|
options = {
|
|
plugins.coq-nvim = {
|
|
enable = mkEnableOption "Enable coq-nvim";
|
|
|
|
package = mkOption {
|
|
type = types.package;
|
|
default = pkgs.vimPlugins.coq-nvim;
|
|
description = "Plugin to use for coq-nvim";
|
|
};
|
|
|
|
installArtifacts = mkEnableOption "Install coq-artifacts";
|
|
|
|
autoStart = mkOption {
|
|
type = with types; nullOr (oneOf [ bool (enum [ "shut-up" ]) ]);
|
|
default = null;
|
|
description = "Auto-start or shut up";
|
|
};
|
|
|
|
recommendedKeymaps = mkOption {
|
|
type = with types; nullOr bool;
|
|
default = null;
|
|
description = "Use the recommended keymaps";
|
|
};
|
|
};
|
|
};
|
|
config =
|
|
let
|
|
settings = {
|
|
auto_start = cfg.autoStart;
|
|
"keymap.recommended" = cfg.recommendedKeymaps;
|
|
};
|
|
in
|
|
mkIf cfg.enable {
|
|
extraPlugins = [
|
|
cfg.package
|
|
] ++ optional cfg.installArtifacts plugins.coq-artifacts;
|
|
plugins.lsp = {
|
|
preConfig = ''
|
|
vim.g.coq_settings = ${helpers.toLuaObject settings}
|
|
local coq = require 'coq'
|
|
'';
|
|
setupWrappers = [ (s: ''coq.lsp_ensure_capabilities(${s})'') ];
|
|
};
|
|
};
|
|
}
|