setup LaTeX in helix

This commit is contained in:
Aria Nolan 2023-10-13 11:53:42 -04:00
parent 619844e03d
commit 9fca885be4
5 changed files with 88 additions and 75 deletions

View file

@ -1,7 +1,9 @@
{ config, pkgs, inputs, ... }:
{
config,
pkgs,
inputs,
...
}: {
imports = [
./languages.nix
];
@ -23,8 +25,8 @@
marksman
nil
nodePackages.bash-language-server
nodePackages.vscode-css-languageserver-bin
nodePackages.vscode-langservers-extracted
# nodePackages.vscode-css-languageserver-bin
# nodePackages.vscode-langservers-extracted
shellcheck
])
];

View file

@ -1,11 +1,13 @@
{ pkgs, lib, ... }:
{
pkgs,
lib,
...
}: {
programs.helix.languages = {
language = [
{
name = "bash";
auto-format = true;
auto-format = false;
formatter = {
command = "${pkgs.shfmt}/bin/shfmt";
args = ["-i" "2"];
@ -28,13 +30,17 @@
config.nil.formatting.command = ["${lib.getExe pkgs.alejandra}" "-q"];
};
vscode-css-language-server = {
command = "${pkgs.nodePackages.vscode-css-languageserver-bin}/bin/css-languageserver";
args = ["--stdio"];
config = {
provideFormatter = true;
css.validate.enable = true;
};
texlab = {
command = "${pkgs.texlab}/bin/texlab";
config.texlab.executable = "${pkgs.tectonic}/bin/tectonic";
config.texlab.build.onSave = true;
config.texlab.args = [
"-X"
"compile"
"%f"
"--keep-logs"
"--keep-intermediates"
];
};
};
};

View file

@ -7,11 +7,13 @@
stateVersion = "23.11";
sessionVariables = {
EDITOR = "hx";
BAT_THEME = "ansi";
};
packages = with pkgs; [
wineWowPackages.unstable
eza
bat
pandoc
];
};

View file

@ -3,13 +3,16 @@
programs.bash = {
enable = true;
enableCompletion = true;
enableVteIntegration = true;
bashrcExtra = ''
if [ -d "$HOME/.local/bin" ] ; then
PATH="$HOME/.local/bin:$PATH"
fi
# DotNet
PATH=$PATH:~/.dotnet
export DOTNET_ROOT=~/.dotnet
''; # this should be changed to use home.sessionVariables
profileExtra = ''

View file

@ -28,15 +28,15 @@
};
}
{
name = "zsh-bat";
src = pkgs.fetchFromGitHub {
owner = "fdellwing";
repo = "zsh-bat";
rev = "d7d5df4f6c7dd380e49b47e4da840226a828968a";
sha256 = "4DQ/qSznM4A9IyM6W0bncHUa4jTIAdBxL16YJgMccHE=";
};
}
# {
# name = "zsh-bat";
# src = pkgs.fetchFromGitHub {
# owner = "fdellwing";
# repo = "zsh-bat";
# rev = "d7d5df4f6c7dd380e49b47e4da840226a828968a";
# sha256 = "4DQ/qSznM4A9IyM6W0bncHUa4jTIAdBxL16YJgMccHE=";
# };
# }
{
name = "z.lua";