Aparentemente, não há como configurar o proxy no Jenkins. As configurações de proxy disponíveis em "Gerenciar Jenkins - > Gerenciar plug-ins - > Avançado" são apenas para plug-ins. Então, se eu tentar configurá-lo lá, ainda não vejo essa configuração na página Propriedades do sistema.
A única maneira que consegui configurar o proxy com sucesso é via linha de comando, por exemplo:
java -Dhttp.proxyHost=<host> -Dhttp.proxyPort=<port> -Dhttps.proxyHost=<host> -Dhttps.proxyPort=<port> -DJENKINS_HOME="C:\.jenkins" -jar jenkins.war --httpPort=<port>
Mas eu tenho Jenkins configurado como serviço do Windows e não sei como posso fornecer esses parâmetros de linha de comando. Quando eu olho para a tarefa gerenciada, o processo do Jenkins aparece com vários parâmetros, mas não tenho certeza de onde ele o lê.
Descobri que os parâmetros com os quais o Jenkins começa são configurados em: jenkins.xml file no diretório inicial do Jenkins na variável <arguments></arguments> .
É possível adicionar apenas os parâmetros java neste campo. Para verificar se os parâmetros foram aceitos, vá para Manage Jenkins - > Informações do sistema e exibir a lista de propriedades do sistema usadas pelo Jenkins. Por exemplo, os parâmetros que eu precisava:
