LuaLS / LuaLS/lua-language-server

Consider giving priority to added paths over gitignore files

Ouverte
#3,114 0 commentaires 0 réactions 0 personnes assignées Voir sur GitHub

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

Hello.
I was trying to make the VSCod extension detect my hammerspoon definitions, and it was not working.
Then I noticed the `"Lua.workspace.useGitIgnore": false` setting, and after setting it to false it started working.

I have this in my third party config
```
"Lua.workspace.userThirdParty": [
"/private/etc/nix-darwin/dotfiles/hammerspoon/Spoons/EmmyLua.spoon/annotations/"
]
```

That `annotations` folder is gitignored, but I seriously think it should take priority over the gitignore setting, because I manually added it.

Guide de contribution

Ouvrir le guide de contribution

Par où commencer

  1. Lisez l'issue en entier, puis le guide de contribution du projet.
  2. Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
  3. Forkez le dépôt et travaillez sur une branche.
  4. Ouvrez une pull request qui référence le numéro de l'issue.

Piste de recherche

Commencez par suivre la manière dont les paramètres Lua.workspace.userThirdParty et Lua.workspace.useGitIgnore sont pris en charge lorsque les chemins du workspace sont filtrés. Vérifiez le comportement pour le chemin annotations fourni, qui est ignoré par git mais configuré explicitement. C’est terminé lorsqu’un chemin ajouté explicitement est pris en compte malgré le paramètre gitignore, tout en conservant le comportement existant pour les autres chemins.

Rédigé par le modèle d'indexation à partir du texte de l'issue.

Évaluation

Stack technique
lua
Domaine
developer-experience, tooling
Type d'issue
Fonctionnalité
Difficulté
3/5
Temps estimé
1-2 jours
Activité
À l'abandon
Clarté
Plutôt claire
Accessibilité débutants
45/100

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.