如何从脚本在 JShell 中定义自定义提示?

Question

我正在尝试创建自定义JShell提示符，并希望直接从文件加载它。

但是从文件加载设置的提示符时它不显示自定义提示符，但我能够在 JShell 上编写相同的命令来做到这一点。

前任： 我有一个文件"jshell_prompt_file"包含以下 3 行来设置提示：

/set mode genspice -quiet
/set prompt genspice "GetNetConnectivity > " "--------> "
/set feedback genspice

当我在调用 JShell 时加载文件时，它不会更改提示。

1:31am [login1] ~/JSHELL 1023:-)jshell jshell_prompt_file
|  Welcome to JShell -- Version 13.0.2
|  For an introduction type: /help intro
jshell> 

但是当我复制粘贴相同的命令来设置反馈时，它会更改它

2:53am [login1] ~/JSHELL 1034:-)jshell jshell_prompt_file
|  Welcome to JShell -- Version 13.0.2
|  For an introduction type: /help intro
jshell> /set feedback genspice
GetNetConnectivity > 

有人可以帮助我实现这一点，而无需用户在命令提示符下键入它？我希望第一个提示是自定义提示。

Answer 1

反馈模式需要使用特定的 JShell 命令行选项进行设置：--feedback。

在文件中jshell_prompt_file只保留前两行：

/set mode genspice -quiet
/set prompt genspice "GetNetConnectivity > " "--------> "

并运行 JShell：

jshell jshell_prompt_file --feedback genspice