Pour un script Groovy qui utilise la connexion HTTP URL du JDK, fournissez le proxy au démarrage de ce processus :

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

Un petit fetch.groovy peut ensuite lire une ressource texte :

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

Le point de terminaison est illustratif ; remplacez-le par un candidat non authentifié de la liste de proxys HTTP pour cette récupération publique de texte HTTP. La propriété d'hôte contient un nom d'hôte, et le port est une propriété distincte. Pour une destination HTTPS, configurez https.proxyHost et https.proxyPort pour le point de terminaison censé la transporter.

-D définit une propriété système de la JVM ; ce n'est pas une affectation de variable d'environnement du shell. Placez les options sur l'invocation Groovy qui exécute ce script. Un lancement séparé depuis l'IDE ou un service peut démarrer un autre processus avec des valeurs différentes.

getText rassemble la réponse dans une chaîne. Il convient à une petite récupération de texte ; un gros téléchargement demande un flux plutôt que de garder tout le résultat en mémoire.

Articles similaires