Définir les propriétés proxy JVM de l'installateur avec JAVA_TOOL_OPTIONS
Utilisez JAVA_TOOL_OPTIONS quand le lanceur d'un installateur Java n'expose aucun endroit pratique pour les arguments proxy de la JVM.
Lorsqu'un lanceur natif d'installateur crée une JVM sans exposer de ligne de commande java, définissez cet environnement avant de lancer l'installateur depuis cette session PowerShell :
$env:JAVA_TOOL_OPTIONS = '-Dhttp.proxyHost=proxy.example -Dhttp.proxyPort=8080 -Dhttps.proxyHost=proxy.example -Dhttps.proxyPort=8080'Le nom est exactement JAVA_TOOL_OPTIONS. Pour une installation d'artefacts publics autorisée et sans authentification proxy, une adresse de la liste de proxies HTTP peut remplacer le nom d'hôte et les ports séparés ; les deux protocoles de destination peuvent utiliser un seul intermédiaire. Cela fonctionne pour une pile HTTP qui consomme ces propriétés proxy JVM.
La VM lit la variable via JNI_CreateJavaVM. Elle accepte les options de VM comme -D, et non les instructions réservées au lanceur comme la sélection de -jar. Une variable nommée JAVA_OPTS est plutôt une convention de script et ne fonctionne que là où le lanceur la lit.
Gardez la surcharge locale à la session d'installation prévue. Un processus GUI déjà en cours ou un lancement depuis un autre parent ne reçoit pas automatiquement l'environnement mis à jour du shell actuel.