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

我试图创建一个自定义JShell提示符，并希望直接从文件加载它

但是当从文件加载set提示符时，它并没有显示自定义提示符，但是我可以在JShell上编写相同的命令来实现这一点

例： 我有一个文件“jshell\u prompt\u file”包含以下三行来设置提示：

/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 > 

---

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

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

--feedback

在文件

jshell\u prompt\u文件中

仅保留前两行：

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

并使用以下命令运行JShell：

jshell jshell_prompt_file --feedback genspice