LuaLS / LuaLS/lua-language-server

Consider giving priority to added paths over gitignore files

Aberta
#3,114 0 comentários 0 reações 0 responsáveis Ver no GitHub

Ninguém assumiu esta issue ainda.

Linguagem predominante
Lua
Estrelas
4.4k
Forks
442
Métricas de merge de PRs
Nenhum PR com merge em 30d

Descrição

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.

Guia de contribuição

Abrir o guia de contribuição

Primeiros passos

  1. Leia a issue inteira e depois o guia de contribuição do projeto.
  2. Comente na issue dizendo que vai assumir — evita que duas pessoas façam o mesmo trabalho.
  3. Faça um fork do repositório e trabalhe em uma branch.
  4. Abra um pull request que referencie o número da issue.

Direção de pesquisa

Comece rastreando como as configurações Lua.workspace.userThirdParty e Lua.workspace.useGitIgnore são tratadas quando os caminhos do workspace são filtrados. Verifique o comportamento para o caminho annotations fornecido, que é ignorado pelo git, mas configurado explicitamente. A tarefa estará concluída quando um caminho adicionado explicitamente for considerado apesar da configuração de gitignore, preservando o comportamento existente para os outros caminhos.

Escrita pelo modelo de indexação a partir do texto da issue.

Avaliação

Stack de tecnologia
lua
Domínio
developer-experience, tooling
Tipo de issue
Funcionalidade
Dificuldade
3/5
Tempo estimado
1-2 dias
Status de atividade
Estagnada
Clareza
Razoavelmente clara
Facilidade para iniciantes
45/100

Receba novas issues na sua caixa de entrada

Um resumo curto de issues do GitHub para quem está começando.