Quale impostazione proxy controlla il download del tuo Maven wrapper?
Identifica il downloader di bootstrap del wrapper prima di configurare il proxy per un download della distribuzione Maven non riuscito.
Se mvnw non riesce mentre scarica Maven, una voce proxy funzionante in settings.xml potrebbe arrivare troppo tardi: Maven non è ancora stato avviato.
Esamina i file wrapper generati nel checkout interessato e individua quale downloader eseguono. Maven Wrapper 3.3.4 documenta queste configurazioni:
| Tipo generato | Dove cercare l'input del proxy |
|---|---|
| only-script | curl o wget su Unix; PowerShell su Windows |
| script | Il download del JAR del wrapper, seguito dal percorso del wrapper Java |
| bin | Il JAR del wrapper incluso e il suo percorso di download Java |
| source | Il codice sorgente del downloader Java incluso quando viene usato per il bootstrap |
only-script è il valore predefinito documentato per i wrapper generati di recente. Un checkout più vecchio conserva i file generati, anche se aggiorni l'installazione di Maven sulla tua macchina.
Allinea l'impostazione a quel processo
Per un wrapper Unix only-script che usa curl o wget, configura l'interfaccia proxy supportata da quel downloader; un download HTTPS può usare https_proxy. Se quel download della distribuzione può usare un proxy HTTP pubblico, prendi un indirizzo candidato dall'elenco dei proxy HTTP per l'ambiente di questo downloader. Se il valore indica un server SOCKS, il downloader deve supportare anche quel protocollo.
MAVEN_OPTS fornisce opzioni JVM. Non può configurare il processo curl di una shell, ma le proprietà proxy della JVM possono contare su un percorso di download Java. Questa è la distinzione utile quando si confronta una vecchia soluzione Takari con il wrapper di un altro progetto.
Una volta completato il download della distribuzione e avviato Maven, i download dei suoi repository diventano un controllo separato rispetto alla configurazione proxy di Maven stesso. La distribuzione, il JAR del wrapper e i repository possono essere serviti da host diversi.