Как отключить режим Verilog в emacs?

Question

Я пытаюсь использовать coq с ProofGeneral, но встроенный режим Verilog затеняет *.v распознавание типов файлов. Можно ли как-то отключить его и позволить ProofGeneral переназначить их в режим coq?

Answer 1

Вам придется переопределить привязку в auto-mode-alist в вашем .emacs или еще чем-нибудь.

Этот пост SO делает нечто похожее с VHDL:

Какотключить vhdl-mode в emacs?

Кроме того, я погуглил "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, чтобы связать правильный мажор с файлами с расширением .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))