Maison  >  Article  >  Java  >  Comment modifier l'éditeur par défaut de JShell en Java 9 ?

Comment modifier l'éditeur par défaut de JShell en Java 9 ?

WBOY
WBOYavant
2023-08-25 23:29:011238parcourir

JShell implémente un REPL (boucle lecture-évaluation-impression) > qui lit le code de la ligne de commande , évalue l'extrait de code donné et nous imprime les résultats.

Dans JShell, vous pouvez utiliser JShell Editor Pad从默认的 JShell 编辑器编辑代码>. On peut également utiliser la commande "/set" pour modifier l'éditeur par défaut afin de définir un autre éditeur. Cet éditeur peut être utilisé lorsque la commande "/edit" est lancée. Pour ce faire, on lance simplement la commande « /set editor [editor] ».

Supposons que nous souhaitions définir l'application Notepad comme programme par défaut pour éditer le code, puis tapez simplement la commande : "/set editor notepad.exe".

<strong>jshell> /set editor
|  /set editor -default

jshell> int i = 20
i ==> 20

jshell> double j = 30.0
j ==> 30.0

jshell> /set editor notepad.exe
|  Editor set to: notepad.exe

jshell> /edit</strong>

Maintenant, si nous voulons modifier le code saisi dans l'invite de commande à l'aide de la commande « /edit » , nous pouvons ouvrir une application Notepad comme suit.

如何在Java 9中修改JShell的默认编辑器?

Si nous pouvons modifier l'éditeur JShell en entrant /edit". Lorsque nous essayons d'ouvrir l'éditeur, nous recevons simplement un message d'erreur comme indiqué ci-dessous.

<strong>jshell> /set editor emacs
|  Editor set to: emacs

jshell> /set editor
|  /set editor emacs

jshell> /edit
|  Edit Error: process IO failure: Cannot run program "emacs": CreateProcess error=2,
  The system cannot find the file specified</strong>

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!

Déclaration:
Cet article est reproduit dans:. en cas de violation, veuillez contacter admin@php.cn Supprimer