jshell - 如何通过脚本在 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