Setați proxy-ul Groovy înainte ca Grab să rezolve dependențele

Puneți proprietățile de proxy ale Grape la lansarea Groovy:

groovy -Dhttp.proxyHost=proxy.example.net -Dhttp.proxyPort=8080 -Dhttps.proxyHost=proxy.example.net -Dhttps.proxyPort=8080 app.groovy

Valorile sunt nume de gazdă și porturi numerice, nu URL-uri de proxy. Un candidat HTTP din lista de proxy-uri HTTP furnizează aceste două valori pentru o rută către un depozit public. Același intermediar HTTP poate transporta descărcări atât către destinații HTTP, cât și HTTPS.

Momentul este motivul pentru care sunt setate aici. Adnotările Grab pot rezolva dependențele în timpul compilării, înainte de rularea instrucțiunilor obișnuite ale scriptului. Un apel System.setProperty ulterior nu poate configura o descărcare care a eșuat deja.

Folosiți URL-ul depozitului care a eșuat pentru a decide ce schemă de destinație are nevoie de rută. Cu GrapeIvy, groovy.grape.report.downloads=true raportează activitatea de descărcare; GrapeMaven folosește propria opțiune de depanare. O versiune de artefact lipsă sau un depozit indisponibil rămâne o problemă a depozitului chiar și cu proxy-ul ales corect.