Linux 如何将剪辑默认帮助文件路径更改为自定义路径?

Linux 如何将剪辑默认帮助文件路径更改为自定义路径?,linux,clips,Linux,Clips,我最近开始为开发专家系统而编写CLIPS程序。由于所有的命令结构对我来说都是全新的,我开始使用(help)命令寻求命令帮助。但CLIPS Shell无法按如下方式打开帮助文件 CLIPS> (help) Loading help file entries from ${prefix}/share/clips/clips.hlp. Please wait... [TEXTPRO1] Could not open file "${prefix}/share/clips/clips.hlp".

我最近开始为开发专家系统而编写CLIPS程序。由于所有的命令结构对我来说都是全新的,我开始使用(help)命令寻求命令帮助。但CLIPS Shell无法按如下方式打开帮助文件

CLIPS> (help)
Loading help file entries from ${prefix}/share/clips/clips.hlp.
Please wait...
[TEXTPRO1] Could not open file "${prefix}/share/clips/clips.hlp".
CLIPS> (exit)

我希望知道如何将剪辑帮助文件路径设置为自定义剪辑安装路径。

您可以通过修改setup.h中的help\u default值并重新编译剪辑来更改默认帮助路径。您还可以使用“帮助路径”功能更改路径:

         CLIPS (V6.24 06/15/06)
CLIPS> (help)
Loading help file entries from clips.hlp.
Please wait...
[TEXTPRO1] Could not open file "clips.hlp".
CLIPS> (help-path)
The current help entries file is clips.hlp
CLIPS> (help-path "../clips.hlp")
Help entries file reset to ../clips.hlp
CLIPS> (help)
Loading help file entries from ../clips.hlp.
Please wait...


HELP_USAGE                 FUNCTION_SUMMARY
RELEASE_NOTES              COMMAND_SUMMARY
CONSTRUCT_SUMMARY          INTEGRATED_EDITOR

MAIN Topic?