LuaLS / LuaLS/lua-language-server

non-`file:` URIs in library/userThirdParty settings don't work

Aberta
#3,064 1 comentário 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

my extension generates a LuaLS userThirdParty bundle dynamically from Factorio's doc files (from the local game install, generally). I'm working on trying to switch to using a virtual FS provider for these files instead of cluttering up real workspace-associated folders with them. I've registered as the provider for fmtk: uris, and i can open all the files for the generated bundle in vscode in editor tabs, but LuaLS won't load them as libraries.

I set

"Lua.workspace.userThirdParty": [
        "fmtk:/luals"
    ],

in my settings.json, instead of setting the generated folder path as i had done previously, but LuaLS seems to have completely ignored it.

I also tried

    "Lua.workspace.library": [
        "fmtk:/luals/factorio/library"
    ],

but that also seems to ignore anything that isn't a plain file path.

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 reproduzindo o problema com o provedor de sistema de arquivos virtual fmtk: e as configurações Lua.workspace.userThirdParty e Lua.workspace.library mostradas no relatório. Rastreie como essas configurações resolvem os caminhos das bibliotecas; considera-se concluído quando URIs que não são URIs de arquivo são carregadas como bibliotecas em vez de ignoradas, com um teste de regressão cobrindo esse comportamento.

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

Avaliação

Stack de tecnologia
lua, vscode
Domínio
devtools
Tipo de issue
Bug
Dificuldade
4/5
Tempo estimado
3-5 dias
Status de atividade
Estagnada
Clareza
Razoavelmente clara
Facilidade para iniciantes
35/100

Receba novas issues na sua caixa de entrada

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