microsoft / microsoft/vscode-java-dependency

Is it possible to load Java extensions on launch, rather than only when a Java file is clicked?

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

Personne n'a encore pris cette issue.

enhancement
Langage dominant
TypeScript
Étoiles
199
Forks
105
Merge moyen
1 j 22 h
PR mergées (30 j)
27

Description

hello,

I'm using the code-server package to give students a cloud-based VS-Code editor in a university setting and we're nearly there to a perfect solution.

The last remaining hiccup is that students have to click on a Java file to load all java-based extensions (see gif below), and as you can see it takes up to a couple of minutes to do this (we have user-reported data on this too).

Is there a setting I can enable in settings.json to autoload the Java extensions on launch, rather than waiting for users to click a Java file?

Thanks in advance!

pl_vscode_extensions_med

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

L’issue ne nomme aucun fichier source, test ni point d’entrée. Commencez par examiner comment les extensions Java sont activées dans VS Code et si code-server prend en charge un paramètre au lancement ; le travail est terminé lorsqu’une configuration prise en charge est identifiée ou qu’une modification qui les charge sans ouvrir de fichier Java est définie et validée.

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é
À clarifier
Accessibilité débutants
25/100

Recevez les nouvelles issues par e-mail

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