From e3e72e30c3599f3a69093b8a3b4884a84146423f Mon Sep 17 00:00:00 2001 From: Aria Nolan Date: Fri, 24 Nov 2023 21:20:31 -0500 Subject: [PATCH] fixed synctex --- users/tacocat/helix/default.nix | 5 ++++- users/tacocat/helix/languages.nix | 18 ++++++++++-------- users/tacocat/home.nix | 12 +++++++++++- users/tacocat/programs/default.nix | 7 +++++++ 4 files changed, 32 insertions(+), 10 deletions(-) diff --git a/users/tacocat/helix/default.nix b/users/tacocat/helix/default.nix index 0de7c4a..1fdb676 100644 --- a/users/tacocat/helix/default.nix +++ b/users/tacocat/helix/default.nix @@ -10,8 +10,8 @@ programs.helix = { 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: { makeWrapperArgs = with pkgs; self.makeWrapperArgs @@ -27,6 +27,9 @@ nodePackages.bash-language-server shellcheck java-language-server + texlab + tectonic + zathura ]) ]; }); diff --git a/users/tacocat/helix/languages.nix b/users/tacocat/helix/languages.nix index a6b8031..2d378dd 100644 --- a/users/tacocat/helix/languages.nix +++ b/users/tacocat/helix/languages.nix @@ -37,18 +37,19 @@ # }; nil = { - command = lib.getExe pkgs.nil; + # command = lib.getExe pkgs.nil; config.nil.formatting.command = ["${lib.getExe pkgs.alejandra}" "-q"]; }; texlab = { - command = "${pkgs.texlab}/bin/texlab"; + # command = "${pkgs.texlab}/bin/texlab"; config.texlab = { - forwardSearch.executable = "${pkgs.zathura}"; - forwardSearch.args = ["--synctex-forward" "%l:1:%f"]; + forwardSearch.executable = "zathura"; + forwardSearch.args = ["--synctex-forward" "%l:1:%f" "%p"]; build = { - executable = "${pkgs.tectonic}/bin/tectonic"; + executable = "tectonic"; onSave = true; + forwardSearchAfter = true; auxDirectory = "build"; logDirectory = "build"; pdfDirectory = "build"; @@ -56,6 +57,7 @@ "-X" "compile" "%f" + "--synctex" "--keep-logs" "--keep-intermediates" "--outdir" @@ -65,9 +67,9 @@ }; }; - java-language-server = { - command = "${pkgs.java-language-server}/bin/java-language-server"; - }; + # java-language-server = { + # command = "${pkgs.java-language-server}/bin/java-language-server"; + # }; }; }; } diff --git a/users/tacocat/home.nix b/users/tacocat/home.nix index 8a541e8..0cad248 100644 --- a/users/tacocat/home.nix +++ b/users/tacocat/home.nix @@ -13,7 +13,7 @@ "$HOME/.dotnet" ]; packages = with pkgs; [ - rnote + # rnote mpv discord neovim @@ -67,6 +67,16 @@ ./email.nix ]; + xdg = { + enable = true; + mimeApps = { + enable = true; + defaultApplications = { + "application/pdf" = ["org.pwmt.zathura-pdf-mupdf.desktop"]; + }; + }; + }; + # Let Home Manager install and manage itself. programs.home-manager.enable = true; } diff --git a/users/tacocat/programs/default.nix b/users/tacocat/programs/default.nix index f20fc3a..3e41cd5 100644 --- a/users/tacocat/programs/default.nix +++ b/users/tacocat/programs/default.nix @@ -21,4 +21,11 @@ programs.rofi = { enable = true; }; + + programs.zathura = { + enable = true; + options = { + synctex = true; + }; + }; }