fixed synctex

This commit is contained in:
Aria Nolan 2023-11-24 21:20:31 -05:00
parent 4ccba9bd76
commit e3e72e30c3
4 changed files with 32 additions and 10 deletions

View file

@ -10,8 +10,8 @@
programs.helix = { programs.helix = {
enable = true; enable = true;
# package = inputs.helix.packages."x86_64-linux".default;
# add the following packages to helix's path
package = inputs.helix.packages.${pkgs.system}.default.overrideAttrs (self: { package = inputs.helix.packages.${pkgs.system}.default.overrideAttrs (self: {
makeWrapperArgs = with pkgs; makeWrapperArgs = with pkgs;
self.makeWrapperArgs self.makeWrapperArgs
@ -27,6 +27,9 @@
nodePackages.bash-language-server nodePackages.bash-language-server
shellcheck shellcheck
java-language-server java-language-server
texlab
tectonic
zathura
]) ])
]; ];
}); });

View file

@ -37,18 +37,19 @@
# }; # };
nil = { nil = {
command = lib.getExe pkgs.nil; # command = lib.getExe pkgs.nil;
config.nil.formatting.command = ["${lib.getExe pkgs.alejandra}" "-q"]; config.nil.formatting.command = ["${lib.getExe pkgs.alejandra}" "-q"];
}; };
texlab = { texlab = {
command = "${pkgs.texlab}/bin/texlab"; # command = "${pkgs.texlab}/bin/texlab";
config.texlab = { config.texlab = {
forwardSearch.executable = "${pkgs.zathura}"; forwardSearch.executable = "zathura";
forwardSearch.args = ["--synctex-forward" "%l:1:%f"]; forwardSearch.args = ["--synctex-forward" "%l:1:%f" "%p"];
build = { build = {
executable = "${pkgs.tectonic}/bin/tectonic"; executable = "tectonic";
onSave = true; onSave = true;
forwardSearchAfter = true;
auxDirectory = "build"; auxDirectory = "build";
logDirectory = "build"; logDirectory = "build";
pdfDirectory = "build"; pdfDirectory = "build";
@ -56,6 +57,7 @@
"-X" "-X"
"compile" "compile"
"%f" "%f"
"--synctex"
"--keep-logs" "--keep-logs"
"--keep-intermediates" "--keep-intermediates"
"--outdir" "--outdir"
@ -65,9 +67,9 @@
}; };
}; };
java-language-server = { # java-language-server = {
command = "${pkgs.java-language-server}/bin/java-language-server"; # command = "${pkgs.java-language-server}/bin/java-language-server";
}; # };
}; };
}; };
} }

View file

@ -13,7 +13,7 @@
"$HOME/.dotnet" "$HOME/.dotnet"
]; ];
packages = with pkgs; [ packages = with pkgs; [
rnote # rnote
mpv mpv
discord discord
neovim neovim
@ -67,6 +67,16 @@
./email.nix ./email.nix
]; ];
xdg = {
enable = true;
mimeApps = {
enable = true;
defaultApplications = {
"application/pdf" = ["org.pwmt.zathura-pdf-mupdf.desktop"];
};
};
};
# Let Home Manager install and manage itself. # Let Home Manager install and manage itself.
programs.home-manager.enable = true; programs.home-manager.enable = true;
} }

View file

@ -21,4 +21,11 @@
programs.rofi = { programs.rofi = {
enable = true; enable = true;
}; };
programs.zathura = {
enable = true;
options = {
synctex = true;
};
};
} }