webots离线网页无法跳转


版本信息

  • webots R2020a revision 1

问题叙述

至于为什么要使用本地文档，我想你懂的，不翻可能直接打不开！这时候倒不如使用本地文档更方便些。

本地文档目录为%WEBOTS_HOME/docs，从2020版本开始，离线文档由原来的pdf改成了网页形式，打开index.html后发现本地网页并不能起到检索作用，点击左侧目录无法实现网页内容的跳转！

在这里插入图片描述
用户手册位于~\Webots\docs\guide

在这里插入图片描述

API手册位于~\Webots\docs\reference

在这里插入图片描述

从上图可以看到网页的文本内容由*.md描述的，我们可以通过Markdown编辑器去查看，例如Typora。

在这里插入图片描述
但是还是不方便查看……

问题解决

博主在GitHub上发现已有开发者写好了相应的配置脚本，所以在下个版本中此BUG应该会修复。

为了实现2020a-rev1中的网页跳转，将以下链接中的压缩包内容解压到webots安装目录下的docs目录下。

链接：https://share.weiyun.com/5YGWywH
密码：jph6ex

解压完后，cd到安装目录下，运行如下命令：

1
python local_exporter.py

注意，该命令运行一次即可，以后无需再次运行

然后启动服务器，每次使用前都需要启动：

1
python -m http.server 8000

在这里插入图片描述
启动服务器后，访问相应的手册地址即可，此时终端会有访问记录产生，再点击左侧目录已经可以实现网页跳转了！

  • 用户手册地址： http://localhost:8000/?url=&book=guide
  • API手册地址： http://localhost:8000/?url=&book=reference
  • 汽车手册地址：http://localhost:8000/?url=&book=automobile

在这里插入图片描述

小技巧：Windows下，shift+右击，可以直接在指定目录下打开dos窗口！
在这里插入图片描述