Git Clone: defina um proxy antes do primeiro fetch

Um proxy local ao repositório soa estranho antes de o repositório existir. Não é preciso clonar sem sucesso, editar a configuração e recomeçar.

Clone pode gravar uma definição local antes do primeiro fetch:

git clone --config http.proxy=http://proxy.example.net:8080 \
  https://git.example.net/team/project.git project

Estes endpoints são exemplos. Para um repositório HTTPS público numa rota de proxy público permitida, escolha um endpoint HTTP da lista de proxies HTTP. O Git documenta que esta opção vale depois de o novo repositório ser inicializado e antes de o seu histórico remoto ser obtido. Para esta definição de proxy, ela pode, portanto, cobrir o primeiro download e permanecer no novo repositório depois.

Dois comandos semelhantes deixam rastros diferentes

Para fornecer a rota a uma única invocação sem guardar a definição no repositório clonado, coloque -c antes do subcomando:

git -c http.proxy=http://proxy.example.net:8080 \
  clone https://git.example.net/team/project.git project

git clone --config ... e git -c ... clone não são âmbitos de configuração intercambiáveis. Escolha se as operações futuras nesse repositório devem manter o proxy.

Inspecione a configuração local do novo repositório quando essa escolha importar. Outras definições de utilizador, sistema ou específicas de URL ainda podem participar na política eficaz.

Mantenha as palavras-passe fora destes exemplos ao guardar a rota. Um valor com credenciais passado à opção de configuração do clone pode tornar-se uma definição permanente do repositório.

Esta é uma configuração de transporte HTTP, incluindo remotos HTTPS. Um remoto SSH ainda precisa da sua rota de proxy SSH; mover o SSH para a porta 443 não faz esta opção configurá-lo.