mirror/nix-community.nixvim
1
0
Fork 0
mirror of https://github.com/nix-community/nixvim.git synced 2025-06-21 08:35:43 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

plugins/coq-nvim: fix settings not being set when lsp is not enabled (#1408)

Browse source
This commit is contained in:
Kareem-Medhat 2024-04-13 13:36:45 +02:00 • committed by GitHub
parent f4018967d4
commit 3a4de0bb2f
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 13 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

6
lib/maintainers.nix
View file

@ -42,4 +42,10 @@
{fingerprint = "20AF 0A65 9F2B 93AD 9184 15D1 A7DA 689C B3B0 78EC";} {fingerprint = "20AF 0A65 9F2B 93AD 9184 15D1 A7DA 689C B3B0 78EC";}
]; ];
}; };
Kareem-Medhat = {
email = "kareemmedhatnabil@gmail.com";
github = "Kareem-Medhat";
githubId = 39652808;
name = "Kareem Medhat";
};
} }

9
plugins/completion/coq.nix
View file

@ -11,7 +11,7 @@ with lib;
originalName = "coq_nvim"; originalName = "coq_nvim";
defaultPackage = pkgs.vimPlugins.coq_nvim; defaultPackage = pkgs.vimPlugins.coq_nvim;
maintainers = [maintainers.traxys]; maintainers = [maintainers.traxys helpers.maintainers.Kareem-Medhat];
extraOptions = { extraOptions = {
installArtifacts = mkEnableOption "and install coq-artifacts"; installArtifacts = mkEnableOption "and install coq-artifacts";
@ -67,9 +67,14 @@ with lib;
cfg.artifactsPackage cfg.artifactsPackage
]; ];
globals = {
coq_settings = cfg.settings;
};
extraConfigLua = "require('coq')";
plugins.lsp = { plugins.lsp = {
preConfig = '' preConfig = ''
vim.g.coq_settings = ${helpers.toLuaObject cfg.settings}
local coq = require 'coq' local coq = require 'coq'
''; '';
setupWrappers = [(s: ''coq.lsp_ensure_capabilities(${s})'')]; setupWrappers = [(s: ''coq.lsp_ensure_capabilities(${s})'')];