diff options
| -rw-r--r-- | README.md | 17 | ||||
| -rw-r--r-- | ci/init-tests.el | 7 |
2 files changed, 14 insertions, 10 deletions
@@ -35,14 +35,21 @@ your `.emacs` and restart Emacs: ```elisp (require 'package) -(let* ((no-ssl (and (memq system-type '(windows-nt ms-dos)) - (not (gnutls-available-p)))) - (proto (if no-ssl "http" "https"))) - (add-to-list 'package-archives - (cons "melpa" (concat proto "://melpa.org/packages/")) t)) +;; (setq gnutls-algorithm-priority "NORMAL:-VERS-TLS1.3") ; see remark below +(add-to-list 'package-archives '("melpa" . "https://melpa.org/packages/") t) (package-initialize) ``` +**Remark:** If you have Emacs 26.1 (which is precisely +[the packaged version in Debian 10](https://packages.debian.org/emacs)), +you may get the error message `Failed to download 'melpa' archive` +during the package refresh step. This is a know bug +([debbug #34341](https://debbugs.gnu.org/cgi/bugreport.cgi?bug=34341)) +which has been fixed in Emacs 26.3 and 27.1, while a simple workaround +consists in uncommenting the line +`(setq gnutls-algorithm-priority "NORMAL:-VERS-TLS1.3")` above in your +`.emacs`. + **Note:** If you switch to MELPA from a previously manually-installed Proof General, make sure you removed the old versions of Proof General from your Emacs context (by removing from your `.emacs` the line diff --git a/ci/init-tests.el b/ci/init-tests.el index 6b0f4439..ade70cce 100644 --- a/ci/init-tests.el +++ b/ci/init-tests.el @@ -9,11 +9,8 @@ ;; Setup MELPA (require 'package) -(let* ((no-ssl (and (memq system-type '(windows-nt ms-dos)) - (not (gnutls-available-p)))) - (proto (if no-ssl "http" "https"))) - (add-to-list 'package-archives - (cons "melpa" (concat proto "://melpa.org/packages/")) t)) +(setq gnutls-algorithm-priority "NORMAL:-VERS-TLS1.3") +(add-to-list 'package-archives '("melpa" . "https://melpa.org/packages/") t) (package-initialize) ;; Optionally: bootstrap use-package for declarative package specs |