emacs - 如何在 emacs 中禁用 Verilog 模式？

Question

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

Answer 1

您将不得不在您的 .emacs 或其他文件中覆盖 auto-mode-alist 中的绑定(bind)。

这篇 SO 帖子与 VHDL 做了类似的事情:

How do I turn off vhdl-mode in emacs?

另外，我搜索了“auto-mode-alist remove”，发现 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)