emacsでVerilogモードを無効にする方法は？

Question

私はProofGeneralでcoqを使用しようとしていますが、組み込みVerilogモードではファイルタイプ認識*.vが影になっています。私はどうにかそれを無効にして、ProofGeneralをcoqモードに再マップさせることはできますか？

Answer 1

。また、私は "オートモード連想リストの削除" をGoogleで検索してthis linkを見つけ

How do I turn off vhdl-mode in emacs?

：

このSOポストは、VHDLと似た何かをします。コピー/重要なビットをペースト：

;; 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に精通していませんが、あなたの質問を正しく理解している場合は.v拡張子のファイルに正しいメジャーを関連付けるために変数auto-mode-alistを修正する必要があります。だから、あなたはあなたの.emacsファイルに次のようなものを追加する必要があります：あなたはあなたの.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))