Définir le proxy de Groovy avant que Grab ne résolve les dépendances
Lancez Groovy avec les propriétés JVM HTTP et HTTPS dont ses dépôts ont besoin ; les instructions du script peuvent s'exécuter après la résolution de Grab.
Placez les propriétés de proxy de Grape sur le lancement de Groovy :
groovy -Dhttp.proxyHost=proxy.example.net -Dhttp.proxyPort=8080 -Dhttps.proxyHost=proxy.example.net -Dhttps.proxyPort=8080 app.groovyLes valeurs sont des noms d'hôte et des ports numériques, pas des URL de proxy. Un candidat HTTP de la liste de proxys HTTP fournit ces deux valeurs pour une route vers un dépôt public. Le même intermédiaire HTTP peut transporter les téléchargements vers des destinations HTTP et HTTPS.
Le moment est la raison de les définir ici. Les annotations Grab peuvent résoudre des dépendances pendant la compilation, avant l'exécution des instructions ordinaires du script. Un appel System.setProperty ultérieur ne peut pas configurer un téléchargement déjà échoué.
Utilisez l'URL du dépôt en échec pour décider quel schéma de destination a besoin d'une route. Avec GrapeIvy, groovy.grape.report.downloads=true signale l'activité de téléchargement ; GrapeMaven utilise sa propre option de débogage. Une version d'artefact manquante ou un dépôt indisponible reste un problème de dépôt, même avec le proxy correctement choisi.