mirror of
https://github.com/nix-community/nixvim.git
synced 2025-11-08 19:46:06 +01:00
33 lines
664 B
Nix
33 lines
664 B
Nix
{ lib, ... }:
|
|
lib.nixvim.plugins.mkNeovimPlugin {
|
|
name = "coq-thirdparty";
|
|
maintainers = [ lib.maintainers.GaetanLepage ];
|
|
|
|
# The lua setup call is: `require('coq_3p')({...})`
|
|
moduleName = "coq_3p";
|
|
setup = "";
|
|
|
|
# TODO: Added 2025-10-24, remove after 26.05
|
|
imports =
|
|
let
|
|
basePluginPath = [
|
|
"plugins"
|
|
"coq-thirdparty"
|
|
];
|
|
in
|
|
[
|
|
(lib.mkRenamedOptionModule (basePluginPath ++ [ "sources" ]) (basePluginPath ++ [ "settings" ]))
|
|
];
|
|
|
|
settingsExample = [
|
|
{
|
|
src = "nvimlua";
|
|
short_name = "nLUA";
|
|
}
|
|
{
|
|
src = "vimtex";
|
|
short_name = "vTEX";
|
|
}
|
|
{ src = "demo"; }
|
|
];
|
|
}
|