新随笔

Posted 2020-08-09

关于emacs中edts插件无法下载man帮助文档的解决办法

Table of Contents

• 1. edts插件命令edts-man-setup可以下载网页中标注的任意otp_{docman文件。}

1 edts插件命令edts-man-setup可以下载http://erlang.org/download/ 网页中标注的任意otp_{docman文件。}

由于erlang官网新版变更，导致该函数功能现出现一个bug导致无法下载man文件。

1. 问题: 发现edts版本edts-20160430.631（由emacs下载）执行edts-man-setup无法下载man文件
2. 问题解决两种办法: (1). 修改edts-20160430.631/elisp/edts/edts-man.el 1). 查询edts-man–fetch-vsns函数 2). 修改re的赋值修改为"<A HREF=\"\\(otp_doc_man_\\(.*\\)\\.tar\\.gz\\)\">"后保存文件 3). 删除edts-man.elc文件 此时如erlang官网没有做新版网页变更，则可以正常使用（2016-09-15验证可以使用）。如有变更，请自行修改正则表达式来适应实际变化。 (2). 直接修改edts全局变量 该方式必须确保man文件已经下载，并存放于能访问的目录中。 在.emacs文件中加入此行(setq edts-man-root "man file path")，注意man file path是man文件所在路径。

Created: 2016-09-16 周五 23:07

Emacs 24.5.1 (Org mode 8.2.10)

Validate