如何在emacs中禁用Verilog模式？

我试图使用coq与ProofGeneral，但内置的Verilog模式阴影*.v文件类型识别。我可以以某种方式禁用它，让ProofGeneral将它们重新映射到它的coq模式？如何在emacs中禁用Verilog模式？

2012-03-08 Peteris

你将不得不覆盖自动模式ALIST在你的.emacs或诸如此类的东西的结合。

这SO后确实与VHDL类似的东西：

另外，我用Google搜索 “自动模式ALIST删除”，发现this link。复制/粘贴了重要的一点：

;; Remove all annoying modes from auto mode lists 

(defun replace-alist-mode (alist oldmode newmode) 
    (dolist (aitem alist) 
    (if (eq (cdr aitem) oldmode) 
    (setcdr aitem newmode)))) 

;; not sure what mode you want here. You could default to 'fundamental-mode 
(replace-alist-mode auto-mode-alist 'verilog-mode 'proof-general-mode)

来源

2012-03-08 21:41:51 ccoakley

刚刚发现这个太多，但我会接受你的冗长和参考）。 – Peteris 2012-03-08 21:49:29

我对ProofGeneral并不熟悉，但是如果我正确理解您的问题，则需要修改auto-mode-alist变量，以将正确的专业与带有.v扩展名的文件相关联。所以，你需要像这样添加到您的.emacs文件：

(add-to-list 'auto-mode-alist '("\\.v$" . proof-general-coq-mode))

来源

2012-03-08 21:39:21

下面这行的工作：

(setq auto-mode-alist (remove (rassoc 'verilog-mode auto-mode-alist) auto-mode-alist))

来源

2012-03-08 21:48:48 Peteris

如何在emacs中禁用Verilog模式？

回答

相关问题