redhat-developer / redhat-developer/vscode-java

Add support for workspace specific java.home that use vscode variables

Ouverte
#806 6 commentaires 3 réactions 0 personnes assignées Voir sur GitHub

Personne n'a encore pris cette issue.

enhancement preferences
Langage dominant
TypeScript
Étoiles
2.3k
Forks
546
Merge moyen
20 h 1 min
PR mergées (30 j)
11

Description

In the workspace specific settings.json,

Does not work:
"java.home": "${workspaceRoot}/java/jdk64"

Works:
"java.home": "D:/dev/proj-1/java/jdk64" works.

Environment
  • Operating System: Windows
  • JDK version: 8
  • Visual Studio Code version: 1.31.1
  • Java extension version: 0.38.0
Steps To Reproduce
  1. Open a workspace
  2. Create a folder named .vscode
  3. Create a file in the folder named settings.json
  4. Try the setting above that does not work by adding it to settings.json

Guide de contribution

Ouvrir le guide de contribution

Par où commencer

  1. Lisez l'issue en entier, puis le guide de contribution du projet.
  2. Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
  3. Forkez le dépôt et travaillez sur une branche.
  4. Ouvrez une pull request qui référence le numéro de l'issue.

Piste de recherche

Commencez par reproduire le comportement sous Windows avec le fichier .vscode/settings.json spécifique au workspace et la valeur ${workspaceRoot}/java/jdk64 avec JDK 8. Comparez-le avec le chemin absolu fonctionnel, puis suivez la manière dont la Java extension lit java.home et résout les variables de VS Code. C’est terminé lorsque le paramètre du workspace accepte la variable et utilise le JDK prévu.

Rédigé par le modèle d'indexation à partir du texte de l'issue.

Évaluation

Stack technique
java, typescript, vscode
Domaine
developer-experience, tooling
Type d'issue
Fonctionnalité
Difficulté
4/5
Temps estimé
3-5 jours
Activité
À l'abandon
Clarté
Plutôt claire
Accessibilité débutants
38/100

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.