Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
Prochaine révision Les deux révisions suivantes
java [Le 26/04/2020, 17:59]
bcag2 [Java] correction lien vers openjdk#developper_en_java
java [Le 22/05/2020, 19:12]
ner0lph [De manière interactive]
Ligne 51: Ligne 51:
 Changer la version de Java utilisée par défaut ​ Changer la version de Java utilisée par défaut ​
 ==== De manière interactive ==== ==== De manière interactive ====
 +
 Saisissez dans un [[:​terminal]] la [[:​commande_shell|commande]] suivante. Ceci va lister la liste des versions disponibles,​ et vous n'​aurez plus qu'à choisir le numéro de celle que vous souhaitez utiliser par défaut. ​ Saisissez dans un [[:​terminal]] la [[:​commande_shell|commande]] suivante. Ceci va lister la liste des versions disponibles,​ et vous n'​aurez plus qu'à choisir le numéro de celle que vous souhaitez utiliser par défaut. ​
-  * Liste à puce pour la plate-forme ​%%JRE%%: <​code>​sudo update-alternatives --config java</​code>​ +  * pour la plate-forme JRE: <​code>​sudo update-alternatives --config java</​code>​ 
-  * Liste à puce pour la plate-forme ​%%JDK%% : <​code>​sudo update-alternatives --config javac</​code>​ +  * pour la plate-forme JDK : <​code>​sudo update-alternatives --config javac</​code>​ 
-  * Liste à puce pour [[wpfr>Java_Web_Start|Java Web Start]]:<​code>​sudo update-alternatives --config javaws</​code> ​+  * pour [[wpfr>​Java Web Start]]:<​code>​sudo update-alternatives --config javaws</​code> ​
  
 ==== De manière non interactive ==== ==== De manière non interactive ====
  • java.txt
  • Dernière modification: Le 11/09/2022, 12:03
  • par moths-art