LuaLS / LuaLS/lua-language-server
`workspace.library` does not honor `workspace.ignoreDir`
Personne n'a encore pris cette issue.
- Langage dominant
- Lua
- Étoiles
- 4.4k
- Forks
- 442
- Métriques de merge des PR
- Aucune PR mergée en 30 j
Description
How are you using the lua-language-server?
NeoVim
Which OS are you using?
MacOS
What is the issue affecting?
Other
Expected Behaviour
I think it would make sense to also honor the workspace.ignoreDir setting when including libraries via workspace.library.
My use case is probably rather niche but it pretty much breaks the indexing:
I have a local library that I want to include via workspace.library, at the root of the library is a directory .direnv which includes symlinks to nix derivations (which intern include more than 100000 lua files)
So I would expect a configuration like
"workspace": {
"ignoreDir": [".direnv"],
"library": "path-to-lib"
}
to not index files inside <path-to-lib>/.direnv
Actual Behaviour
Every file inside the library path is indexed
Reproduction steps
Follow example from above
Additional Notes
No response
Log File
No response
Guide de contribution
Ouvrir le guide de contribution
Par où commencer
- Lisez l'issue en entier, puis le guide de contribution du projet.
- Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
- Forkez le dépôt et travaillez sur une branche.
- Ouvrez une pull request qui référence le numéro de l'issue.
Piste de recherche
Commencez par reproduire le problème avec le chemin workspace.library et le paramètre workspace.ignoreDir signalés dans NeoVim sur macOS. Suivez la manière dont les chemins des bibliothèques sont indexés et vérifiez que les fichiers sous /.direnv sont exclus, tandis que les autres fichiers de bibliothèque restent indexés ; la réalisation est démontrée lorsque la reproduction n’indexe plus ces fichiers.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Évaluation
- Stack technique
- lua
- Domaine
- devtools
- Type d'issue
- Bug
- Difficulté
- 3/5
- Temps estimé
- 1-2 jours
- Activité
- À l'abandon
- Clarté
- Plutôt claire
- Accessibilité débutants
- 45/100