Как настроить Jenkins для прокси
Видимо в Jenkins нет возможности настроить прокси. Настройки прокси, доступные через «Управление Jenkins -> Управление плагинами -> Дополнительно», предназначены только для плагинов. Поэтому, если я попытаюсь настроить его там, я все равно не вижу эту конфигурацию на странице свойств системы.
Единственный способ, которым мне удалось успешно настроить прокси, - это через командную строку, например:
java -Dhttp.proxyHost=<host> -Dhttp.proxyPort=<port> -Dhttps.proxyHost=<host> -Dhttps.proxyPort=<port> -DJENKINS_HOME="C:\.jenkins" -jar jenkins.war --httpPort=<port>
Но у меня Jenkins настроен как служба Windows, и я не знаю, как мне предоставить эти параметры командной строки. Когда я смотрю на управляемую задачу, появляется процесс Дженкинса с кучей параметров, но я не уверен, откуда он их читает.
Я обнаружил, что параметры, с которых начинается Jenkins, настроены в: jenkins.xml файл в домашнем каталоге Jenkins в папке <arguments></arguments> переменная.
Можно просто добавить в это поле параметры java. Чтобы убедиться, что параметры были приняты, перейдите в «Управление Jenkins» -> «Информация о системе» и просмотрите список свойств системы, используемых Jenkins. Например, параметры, которые мне понадобились:
