Как мне заставить time$ работать с ctrl+t e в ACL2 и emacs?

Question

При попытке скопировать форму в мой буфер оболочки ACL2 с помощью ctrl+t e, и я уже поместил time$ в свой буфер оболочки, я получаю ошибку о невозможности вставить форму. Как я могу изменить макрос emacs так, чтобы я мог вставить в буферы оболочки ACL2, которые уже есть (время $, записанное в них?

Answer 1

Поместите это в конец вашего файла ~/.emacs:

(setq *acl2-insert-pats* '(:not ".*%[ ]*$" "[^(]*$[ ]*$" "^$"))