Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Root directory resolution doesn't respect .texlabroot or texlabroot for Tectonic projects #1014

Closed
dk0d opened this issue Feb 6, 2024 · 0 comments · Fixed by #1035
Closed
Assignees
Labels
bug Something isn't working

Comments

@dk0d
Copy link

dk0d commented Feb 6, 2024

Texlab Version: 5.12.3
Running in Neovim 0.9.5 via Mason plugin

Summary

When using Tectonic, root directory resolution doesn't respect .texlabroot or texlabroot inside of the src/ directory.

Details

For Tectonic projects, example project structure:

.git
Tectonic.toml
src/_preamble.tex
src/index.tex
src/_postamble.tex
src/section.tex
src/refs.bib

Below compiles with tectonic V2, but texlab is unable to find the section.tex file - goto-definition fails

Case A:

% src/index.tex 
...
\input{section}
...

Below, tectonic fails to build doc, but texlab resolves correctly - goto-definition works

Case B:

% src/index.tex
...
\input{src/section}
...

This also impacts bibliography and references not detected properly.

When adding .texlabroot to specify src as the document root:

  • Tectonic.toml and src/.texlabroot are present - incorrectly chooses Tectonic.toml root (project root)
    • Goto def fails and bibliography not found
  • Remove Tectonic.toml (or rename it), src/.texlabroot present - correctly chooses src as root
    • Goto def works and bibliography detected properly
@dk0d dk0d changed the title Tectonic root directory resolution doesn't respect .texlabroot or texlabroot Root directory resolution doesn't respect .texlabroot or texlabroot for Tectonic projects Feb 6, 2024
@pfoerster pfoerster added the bug Something isn't working label Feb 13, 2024
@pfoerster pfoerster self-assigned this Feb 13, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants