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

如何通过脚本在 JShell 中定义自定义提示？

How to define a custom prompt in JShell from a script?

jshell