csv - 如何告诉 Proof General “.csv”！= “.v”

Question

每次我在 Emacs 缓冲区中打开一个 .csv 文件时，Proof General 都会启动（除非它已经启动）并重置我的窗口。这真的让我的 Emacs 无法正常工作，需要停下来。

我的 init.el 中唯一处理 Proof General 的部分是：

(load-file "~/.emacs.d/ProofGeneral-4.2/generic/proof-site.el")
(setq auto-mode-alist (cons '("\.v$" . coq-mode) auto-mode-alist))
(autoload 'coq-mode "coq" "Major mode for editing Coq vernacular." t)

Answer 1

您匹配名称的正则表达式是在初始字符串翻译之后，.v$因为单个反斜杠转义属于字符串阅读器。因此，每个至少有两个字符且最后一个是 a 的名称都v被分配给coq-mode。

修复很简单：在模式中使用双反斜杠。