Come terminare JShell

JShell è una strumento introdotto in Java a partire da JDK 9. Si tratta di un REPL (Read-Evaluate-Print-Loop) ossia di uno strumento da linea di comando che permette di eseguire e provare velocemente codice Java.

Ieri l’ho usato per la prima volta, ma ho dovuto fare un po' di prove per capire come terminarlo. Ho provato vari comandi che mi venivano in mente: quit, exit, bye con e senza parentesi () e seguiti o meno da ;. Nessuna delle mie prove si è rivelata corretta.

jshell> quit
|  Error:
|  cannot find symbol
|    symbol:   variable quit
|  quit
|  ^--^

Il comando esatto è /exit

jshell> /exit
|  Goodbye