From fafe6bdea4188db78857058b571282948314b2de Mon Sep 17 00:00:00 2001 From: Erik Martin-Dorel Date: Sun, 6 Dec 2020 14:47:33 +0100 Subject: docs: Update README.md accordingly & Mention the URL of the debbug --- README.md | 17 ++++++++++++----- 1 file changed, 12 insertions(+), 5 deletions(-) (limited to 'README.md') diff --git a/README.md b/README.md index a918523f..a0f1a640 100644 --- a/README.md +++ b/README.md @@ -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 -- cgit v1.2.3