如何在emacs中禁用Verilog模式？

Question

我正在尝试使用ProofGeneral的coq，但内置的Verilog模式阴影*.v文件类型识别。 我可以以某种方式禁用它并让ProofGeneral将它们重新映射到其coq模式吗？

Answer 1

您将不得不在.emacs或诸如此类的auto-mode-alist中覆盖绑定。

这个SO帖子与VHDL类似：

如何在emacs中关闭vhdl-mode？

另外，我用Google搜索“auto-mode-alist remove”并找到了这个链接 。 复制/粘贴重要位：

;; 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)

Answer 2

我不熟悉ProofGeneral，但如果我正确理解你的问题，你需要修改auto-mode-alist变量以将正确的major与具有.v扩展名的文件相关联。 因此，您需要在.emacs文件中添加以下内容：

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

Answer 3

以下行有效：

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