Unha breve descarga Groovy a través dun proxy

Para un script Groovy que usa a conexión HTTP URL do JDK, fornece o proxy ao iniciar ese proceso:

groovy -Dhttp.proxyHost=proxy.example -Dhttp.proxyPort=8080 fetch.groovy

Un pequeno fetch.groovy pode despois ler un recurso de texto:

def url = new URL('http://example.com/')
println url.getText(connectTimeout: 5000, readTimeout: 10000)

O extremo é ilustrativo; substitúeo por un candidato non autenticado da lista de proxies HTTP para esta descarga pública de texto HTTP. A propiedade de host contén un nome de host, e o porto é unha propiedade propia. Para un destino HTTPS, configura https.proxyHost e https.proxyPort para o extremo que debe transportalo.

-D define unha propiedade de sistema da JVM; non é unha asignación de contorno da shell. Pon as opcións na invocación de Groovy que executa este script. Un inicio separado desde o IDE ou un servizo poden arrancar outro proceso con valores distintos.

getText recolle a resposta nunha cadea. Serve para unha descarga pequena de texto; unha descarga grande require streaming en lugar de reter todo o resultado en memoria.