Question

我是Emacs的新手，也许是问题所在，但我遵循此处的说明：

尤其是在将给定的行添加到.emacs文件中之后，我确实做了（M是alt / option键）：

M-x package-refresh-contents RET

但我收到错误消息：

[no match]

出了什么问题？

也许这是我做错了，是什么：

 M-x package-refresh-contents RET followed by M-x package-install RET proof-general RET

是平均值？

Answer 1

这是对我有用的（TM）：

(require 'package)
(setq package-enable-at-startup nil)
(add-to-list 'package-archives
             '("melpa" . "https://melpa.org/packages/"))

(package-initialize)

;; Bootstrap use-package
(unless (package-installed-p 'use-package)
    (package-refresh-contents)
    (package-install 'use-package))

(use-package proof-general
  :no-require t
  :ensure t)

Answer 2

如果您将melpa作为软件包的来源，则该行将起作用。请参阅ejgallego的答案：

 (require 'package)
 (setq package-enable-at-startup nil)
      (add-to-list 'package-archives
          '("melpa" . "https://melpa.org/packages/"))

 (package-initialize)

如果将这些行添加到.emacs-文件中，然后

 M-x package-refresh-contents (followed by return)
 M-x package-install (followed by return and then `proof-general`)

然后它将运行而无需在您的.emacs文件中显式添加软件包。

如何在Mac上为Emacs安装Proof General？

2 个答案: