[JAVA] Spécifiez VS Code comme éditeur par défaut pour jshell
environnement
OS
Windows 10
Java
11
Utiliser un éditeur externe avec jshell
jshell offre la possibilité de modifier des extraits de code à l'aide d'un éditeur externe.
jshell> /edit
Par défaut, un éditeur super simple comme celui-ci sera lancé. [^ 1]
[^ 1]: assez simple pour que vous ne puissiez pas refaire ou refaire l'édition avec Ctrl + Z ou Ctrl + Y
Si vous éditez le code ici et fermez l'éditeur avec ʻExit`, le code écrit dans l'éditeur sera enregistré comme un extrait de code.
S'il existe plusieurs extraits, vous pouvez spécifier / edit <snippet ID> pour ne modifier que l'extrait spécifié.
(Si vous ne spécifiez pas d'ID d'extrait, tous les extraits seront affichés dans l'éditeur)
Spécifiez le code VS dans l'éditeur externe
L'éditeur externe utilisé par / edit peut être spécifié comme / set editor <commande pour démarrer l'éditeur>.
jshell> /set editor "F:\\ProgramFiles\\Microsoft VS Code\\Code.exe" -w
|L'éditeur est réglé sur: F:\ProgramFiles\Microsoft VS Code\Code.exe -w
Si vous spécifiez VS Code, définissez le chemin vers l'exe VS Code et l'option -w.
-w est une option qui ne renvoie pas le contrôle à la source d'appel tant que le fichier n'est pas fermé, sinon cela ne fonctionnera pas bien [^ 2].
N'oubliez pas d'échapper à la barre oblique inverse.
[^ 2]: Le fichier temporaire créé pour l'éditeur est supprimé lorsque le contrôle revient à jshell, et le code ne peut pas être édité sous l'éditeur.
Maintenant, lorsque vous ouvrez l'éditeur avec / edit, VS Code s'ouvre.
La fermeture du fichier renvoie le contrôle à jshell.
Spécifiez l'éditeur externe par défaut
L'éditeur externe par défaut pour jshell peut être spécifié avec l'une des variables d'environnement suivantes:
JSHELLEDITORVISUALEDITOR
↑ a une priorité plus élevée et les informations de la variable d'environnement pour laquelle l'éditeur a été défini précédemment sont adoptées.
En d'autres termes, si vous définissez la variable d'environnement JSHELLEDITOR sur les mêmes informations spécifiées dans / set editor précédemment, vous n'avez pas besoin de / set editor à chaque fois.
** Valeur définie dans la variable d'environnement **
** VS Code est lancé depuis jshell **
référence
- Java Platform, Standard Edition Java Shell User Guide Release 9
- Set Visual Studio Code as default editor in jshell
Recommended Posts