Commit 6d04a061 authored by Matthieu Moy's avatar Matthieu Moy
Browse files

FAQ VSCode et Java

parent a165c3ea
Pipeline #45649 failed with stage
in 9 seconds
......@@ -10,3 +10,14 @@ Selon comment le shell est lancé, c'est soit le `~/.bashrc` soit le `~/.bash_pr
```
Si vous voulez plus d'explications, cherchez dans vos souvenirs ou vos cours de programmation concurrente si vous étiez en L3 à Lyon 1 !
# VSCode n'a pas les fonctionnalités intelligentes pour Java (complétion, navigation, ...)
Il faut :
* Installer le bon plugin. Le plus simple est d'installer [Java Extension Pack](https://marketplace.visualstudio.com/items?itemName=vscjava.vscode-java-pack)
* Positionner correctement son `JAVA_HOME`, que l'on peut faire avec <kbd>Control</kbd> + <kbd>,</kbd>, puis chercher `java.home` et « edit in settings.json ». Au Nautibus, la configuration est :
<pre>
"java.home" : "/home/tpetu/m1if01/jdk-11.0.4/"
</pre>
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment