Debian 10 では、Java SE 10 を使用してインストールしますapt-get install openjdk-10-jdk openjdk-10-doc。jshellのドキュメントを入手したいと電話しSystem.out.println(...)たところ、エラーが発生しました<no documentation found>:
| Welcome to JShell -- Version 10.0.1
| For an introduction type: /help intro
jshell> System.out.println( **<tab>**
Signatures:
void PrintStream.println()
void PrintStream.println(boolean x)
void PrintStream.println(char x)
void PrintStream.println(int x)
void PrintStream.println(long x)
void PrintStream.println(float x)
void PrintStream.println(double x)
void PrintStream.println(char[] x)
void PrintStream.println(String x)
void PrintStream.println(Object x)
<press tab again to see documentation>
jshell> System.out.println( **<tab>**
void PrintStream.println()
<no documentation found>
<press tab to see next documentation>
jshell> /env
jshell> System.out.println(System.getProperty("java.class.path"))
.
jshell>
これはHow to make javadoc documentation available in JShell? に関連しているとは思いません。いくつかの標準的な方法のドキュメントを取得したいので。(この質問はバグhttps://bugs.openjdk.java.net/browse/JDK-8188142で終了します。問題は、クラスパスが適切に定義されていなかったことです)。
でドキュメントを入手するにはどうすればよいjshellですか?