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