mattn / mattn/vim-lsp-settings

Not able to install digestif (TeX)

Open
#404 2 comments 1 reaction 0 assignees View on GitHub

Nobody has claimed this yet.

Dominant language
Vim Script
Stars
1.4k
Forks
245
Avg merge
3m
Merged PRs (30d)
1

Description

I have a .tex file opened and when a run :LspInstallServer digestif I get the following error:

Server could not be installed. See :messages for details.

But no further messages are shown.

I saw that at the README digestif is marked as having an installer, but the column labeled "Local" is marked with a "No". I didn't really get what this column describes, but I think it should not unable me to install it. I have digestif already installed (from AUR), and this does not seem to be the problem. I also searched for an installer that had any hint to target the language server, but I found none at the installer folder.

I don't know much of vim script, and I am quite new to vim/nvim. I don't really know any other auxiliary information to list. I'll gladly post any of my configurations to further diagnose what may be the cause.

Thanks in advance.

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start with the README entry for digestif and the installer folder, then reproduce :LspInstallServer digestif while checking :messages. Determine why installation fails or why no diagnostic is shown, and confirm the installer behavior for an already-installed digestif setup.

Written by the indexing model from the issue text.

Assessment

Tech stack
tex, vim
Domain
tooling
Issue type
Bug
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
25/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.