Obtenha o primeiro download do sbt através do proxy

o sbt pode precisar da rede antes que a sua definição de compilação faça algo útil. O seu lançador tem de obter componentes, e a compilação pode mais tarde contactar repositórios através de bibliotecas adicionais. Uma definição de proxy escondida dentro de uma tarefa pode chegar demasiado tarde para o primeiro download.

Comece pela JVM que realmente executa o sbt. Para um lançador que lê o .jvmopts do projeto, as propriedades básicas do ponto final podem ser:

-Dhttp.proxyHost=proxy.example.net
-Dhttp.proxyPort=8080
-Dhttps.proxyHost=proxy.example.net
-Dhttps.proxyPort=8080

Estes valores separam um nome de anfitrião e uma porta; não são URL de proxy completos. Para downloads permitidos de repositórios públicos, a lista de proxies HTTP fornece valores candidatos para esses campos. Um repositório HTTPS continua acessível através de um proxy HTTP usando CONNECT.

Repare qual download falhou

O arranque do lançador, os componentes da ferramenta de compilação, os plugins e as dependências não usam necessariamente a mesma camada de configuração. Identifique o URL e a fase que falharam antes de editar as declarações de repositório.

A seleção de repositório responde a onde se obtêm os artefactos. A configuração do proxy responde a como um cliente de rede chega a esse ponto final. Substituir um repositório por um espelho interno pode ser uma opção suportada separada, mas não configura um proxy de rede para todos os outros destinos.

A autenticação do proxy é outra verificação. Não assuma que todos os descarregadores Java tratam uma propriedade proxyUser arbitrária como um mecanismo de início de sessão suportado. Use o esquema de autenticação documentado para o lançador instalado e o resolvedor relevante.

Por fim, verifique o ambiente efetivo do lançador em vez de copiar uma variável de um guia para outro executor. Uma falha de DNS, um repositório indisponível e um início de sessão de proxy recusado podem todos surgir durante a resolução de dependências, mas exigem correções muito diferentes.