Я пытаюсь установить Общее Доказательство (Универсальный интерфейс Emacs для помощников доказательства), и оно говорит, включают некоторые строки Ваш .emacs
файл, но я не могу найти .emacs
файл в моей системе.
Как @steeldriver уже упомянутый, .emacs
файл конфигурации обычно находится в Вашем корневом каталоге. См. также Файл инициализации Emacs .
, Если необходимо запустить с пробела .emacs
, попробуйте touch ~/.emacs
и затем откройте его с предпочтительным редактором (что я предполагаю, не Emacs) добавить требуемые строки.
И если у Вас есть дальнейшие вопросы на emacs, , Exchange Стопки Emacs является, вероятно, лучшим местом для выяснения.