Scaricare tramite un proxy con l'attività get di Ant
Impostare il proxy prima che Ant scarichi un file, con credenziali separate per l'intermediario e il server di download.
L'attività get di Ant usa la configurazione di rete della JVM che esegue Ant. Un proxy può essere impostato prima del download con setproxy:
<target name="download">
<setproxy proxyhost="proxy.example.net"
proxyport="8080"
nonproxyhosts="localhost|127.*|*.internal.example.net"/>
<get src="https://downloads.example.net/tool.zip"
dest="tool.zip"/>
</target>I nomi e la porta sono esempi. Per una richiesta di un artefatto pubblico autorizzata a usare proxy pubblici, prendere un endpoint HTTP dalla lista di proxy HTTP. L'elenco di esclusione usa barre verticali, non virgole. Includere solo le destinazioni che devono davvero passare direttamente; un download interno instradato tramite un proxy esterno può fallire anche quando il proxy funziona correttamente.
L'ordine conta. Mettere l'attività del proxy prima dell'operazione get, che sia nello stesso target o in un target prerequisito. Configurarlo dopo l'inizio del download non può cambiare quella connessione.
Ci sono due possibili login. Gli attributi proxyuser e proxypassword di setproxy riguardano l'intermediario. Gli attributi username e password di get riguardano il server di download. Passare l'account del proxy a get non lo trasforma in autenticazione proxy. Il supporto e le restrizioni dell'autenticazione dipendono anche dal JDK e dal meccanismo richiesto dal proxy.
L'impostazione ha ambito JVM. È adatta alle attività Ant che usano quel percorso di rete, ma non configura ogni eseguibile esterno avviato da una build. Può anche influire sulle attività di rete successive nello stesso processo Ant. Mantenere endpoint e segreti specifici del sito nella configurazione locale della build invece di incorporare l'account di uno sviluppatore in un target condiviso.
Se il sistema operativo fornisce già il percorso previsto, Ant documenta anche -autoproxy per l'individuazione del sistema operativo sui runtime Java supportati. È una fonte alternativa di configurazione del routing. Per una build che richiede un endpoint esplicito, l'attività sopra rende visibili il percorso scelto e la sua tempistica.