Imposta il proxy di Groovy prima che Grab risolva le dipendenze
Avvia Groovy con le proprietà JVM HTTP e HTTPS richieste dai suoi repository; le istruzioni dello script possono essere eseguite dopo la risoluzione di Grab.
Metti le proprietà proxy di Grape sull'avvio di Groovy:
groovy -Dhttp.proxyHost=proxy.example.net -Dhttp.proxyPort=8080 -Dhttps.proxyHost=proxy.example.net -Dhttps.proxyPort=8080 app.groovyI valori sono nomi host e porte numeriche, non URL di proxy. Un candidato HTTP dalla lista di proxy HTTP fornisce questi due valori per una rotta verso un repository pubblico. Lo stesso intermediario HTTP può trasportare download sia verso destinazioni HTTP sia HTTPS.
Il tempismo è il motivo per impostarle qui. Le annotazioni Grab possono risolvere le dipendenze durante la compilazione, prima che vengano eseguite le normali istruzioni dello script. Una chiamata System.setProperty successiva non può configurare un download già fallito.
Usa l'URL del repository non riuscito per decidere quale schema di destinazione richiede una rotta. Con GrapeIvy, groovy.grape.report.downloads=true segnala l'attività di download; GrapeMaven usa la propria opzione di debug. Una versione di artefatto mancante o un repository non disponibile resta un problema del repository anche con il proxy scelto correttamente.