Différences
Ci-dessous, les différences entre deux révisions de la page.
| 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 ==== | ||