У меня есть прокси-сервер, настроенный для Maven через файл -user settings.xml. Документация, вырезанная из шаблона settings.xml по умолчанию, предполагает, что можно влиять на то, какой из настроенных прокси используется с помощью команды -переключатель строки:
Однако я не нашел никакой документации о том, как это должно работать. Документация Maven имеет почти такой же шаблон, но не упоминает о командном -переключателе строки или что-то еще.
Итак, предположим, у меня настроен прокси, но помечен как
, как в этом примере:
firstProxy
false
http
proxy.example.invalid
3128
Согласно комментарию, будет какой-то способ, например, «активировать» его, возможно, указав его идентификатор или что-то в этом роде. Попытка «очевидного» с помощью mvn -Dproxies.proxy.firstProxy.active=true java:compile
не увенчалась успехом.
Я очень новичок в Maven и не могу избавиться от ощущения, что каким-то образом лаю не по тому дереву. Возможно ли вообще то, что я пытаюсь сделать, — если да, то может ли кто-нибудь указать мне описание того, как это сделать, — или я зря трачу время?