LSP does not restart on version upgrade
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 4/5
- Tempo stimato
- 3-5 giorni
- Idoneità per principianti
- 48/100
Direzione di ricerca
Start by tracing the Neovim LSP lifecycle around the vim.lsp.enable('leanls', false) and vim.lsp.enable('leanls') entry points described in the issue. Determine how a Lean version upgrade can be detected and when the language server should restart, including the version-check race described in the proposed approaches. Done means upgrades restart the LSP automatically without requiring the manual workaround.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
As in the title. This leads to a non-negligible number of headaches, including but not limited to unnecessary rebuild and seemingly corrupted files.
Workaround: A manual way to restart the language server is
:lua vim.lsp.enable('leanls', false); vim.lsp.enable('leanls')
Two ways this can be fixed I can think of:
- Make a temporary document with
#versionto query the LSP's Lean version (apparently there isn't really any easier way? Is there?) - Do something like a seqlock, query the LSP's version before and after launching it, while they disagree then restart the LSP (disproportionately unlikely), if they agree then take that as the version, and restart when version increases (reason: avoid race condition)
- Lingua principale
- Lua
- Stelle
- 601
- Fork
- 61
- Merge medio
- 3g 22h
- PR unite (30g)
- 8
Preparare l'ambiente
- Nessun Dockerfile né file Docker Compose
- Nessun modello di pull request
- Leggi la guida per i contributori
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di Julian/lean.nvim
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 88/100
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 58/100
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 68/100
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 48/100
-
bug
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
Tutte le issue di Julian/lean.nvim
Issue simili
-
feature
Difficoltà 2/5 1-3 ore Idoneità per principianti 82/100
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 76/100
brndnmtthws/conky#2486 ·
I maintainer di solito rispondono entro 1 giorno
-
bug
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
folke/snacks.nvim#2970 ·
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 73/100
nvim-orgmode/orgmode#1193 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 78/100