如何告诉Proof General＆＃34; .csv＆＃34; ！=＆＃34; .v＆＃34;

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$之后，因为单个反斜杠转义属于字符串阅读器。因此，每个至少包含两个字符且最后一个字符为v的名称都会分配给coq-mode。

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