2023-10-21 00:49:53 +00:00
|
|
|
{
|
|
|
|
pkgs,
|
|
|
|
lib,
|
|
|
|
...
|
|
|
|
}: {
|
|
|
|
programs.helix.languages = {
|
|
|
|
language = [
|
2023-10-29 04:35:51 +00:00
|
|
|
# {
|
|
|
|
# name = "bash";
|
|
|
|
# auto-format = false;
|
|
|
|
# formatter = {
|
|
|
|
# command = "${pkgs.shfmt}/bin/shfmt";
|
|
|
|
# args = ["-i" "2"];
|
|
|
|
# };
|
|
|
|
# }
|
2023-10-21 00:49:53 +00:00
|
|
|
|
2023-11-05 02:44:54 +00:00
|
|
|
{
|
2023-11-05 03:06:38 +00:00
|
|
|
name = "java";
|
|
|
|
language-servers = ["java-language-server"];
|
2023-11-05 02:44:54 +00:00
|
|
|
}
|
|
|
|
|
2023-11-05 03:06:38 +00:00
|
|
|
{
|
|
|
|
name = "latex";
|
|
|
|
indent.tab-width = 2;
|
|
|
|
indent.unit = "\t";
|
2023-10-21 00:49:53 +00:00
|
|
|
}
|
|
|
|
];
|
|
|
|
language-server = {
|
2023-10-29 04:35:51 +00:00
|
|
|
# bash-language-server = {
|
|
|
|
# command = "${pkgs.nodePackages.bash-language-server}/bin/bash-language-server";
|
|
|
|
# args = ["start"];
|
|
|
|
# };
|
2023-10-21 00:49:53 +00:00
|
|
|
|
2023-11-05 02:44:54 +00:00
|
|
|
# clangd = {
|
|
|
|
# command = "${pkgs.clang-tools}/bin/clangd";
|
|
|
|
# clangd.fallbackFlags = ["-std=c++2b"];
|
|
|
|
# };
|
2023-10-21 00:49:53 +00:00
|
|
|
|
|
|
|
nil = {
|
|
|
|
command = lib.getExe pkgs.nil;
|
|
|
|
config.nil.formatting.command = ["${lib.getExe pkgs.alejandra}" "-q"];
|
|
|
|
};
|
|
|
|
|
|
|
|
texlab = {
|
|
|
|
command = "${pkgs.texlab}/bin/texlab";
|
2023-11-05 02:44:54 +00:00
|
|
|
config.texlab = {
|
2023-11-20 01:28:09 +00:00
|
|
|
forwardSearch.executable = "${pkgs.zathura}";
|
2023-11-05 02:44:54 +00:00
|
|
|
forwardSearch.args = ["--synctex-forward" "%l:1:%f"];
|
|
|
|
build = {
|
2023-11-20 01:28:09 +00:00
|
|
|
executable = "${pkgs.tectonic}/bin/tectonic";
|
2023-11-05 02:44:54 +00:00
|
|
|
onSave = true;
|
|
|
|
auxDirectory = "build";
|
|
|
|
logDirectory = "build";
|
|
|
|
pdfDirectory = "build";
|
|
|
|
args = [
|
|
|
|
"-X"
|
|
|
|
"compile"
|
|
|
|
"%f"
|
|
|
|
"--keep-logs"
|
|
|
|
"--keep-intermediates"
|
|
|
|
"--outdir"
|
|
|
|
"build"
|
|
|
|
];
|
|
|
|
};
|
|
|
|
};
|
2023-10-21 00:49:53 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
java-language-server = {
|
|
|
|
command = "${pkgs.java-language-server}/bin/java-language-server";
|
|
|
|
};
|
|
|
|
};
|
|
|
|
};
|
|
|
|
}
|