如何告诉 Proof General ".csv" != ".v"

Question

每次我在 Emacs 缓冲区中打开 .csv 文件时，Proof General 都会启动（除非它已经启动）并重置我的 windows。这真的让我的 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$ 因为单个反斜杠转义属于字符串 reader。结果，每个至少有两个字符且最后一个字符是 v 的名称被分配给 coq-mode.

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

如何告诉 Proof General ".csv" != ".v"

How to tell Proof General that ".csv" != ".v"

csv

emacs

coq

proof-general