2022-08-09 20:04:29 +00:00
|
|
|
{
|
|
|
|
pkgs,
|
|
|
|
lib,
|
|
|
|
...
|
|
|
|
}:
|
2022-08-10 08:05:05 +00:00
|
|
|
with builtins;
|
2022-08-10 08:20:23 +00:00
|
|
|
with lib; let
|
|
|
|
jdtls-lua = replaceStrings ["@jdt-language-server@" "@openjdk@"] ["${pkgs.jdt-language-server}" "${pkgs.openjdk}"] (readFile ../lua/jdtls.lua);
|
|
|
|
in {
|
2022-08-09 20:04:29 +00:00
|
|
|
output.config_file = ''
|
|
|
|
lua << EOF
|
2022-08-10 08:05:05 +00:00
|
|
|
${jdtls-lua}
|
2022-08-09 20:04:29 +00:00
|
|
|
EOF
|
|
|
|
'';
|
|
|
|
}
|