diff options
| author | Erik Martin-Dorel | 2020-12-06 15:00:10 +0100 |
|---|---|---|
| committer | GitHub | 2020-12-06 15:00:10 +0100 |
| commit | ccb37e8026e208825c10f4d5ce64378430e5f7a3 (patch) | |
| tree | 4b7632d76ae0682758673e90a28a7ca052c505a1 | |
| parent | 702f5b90ce36e17493fbd5390db7c35097ae8149 (diff) | |
| parent | fafe6bdea4188db78857058b571282948314b2de (diff) | |
Merge pull request #530 from ProofGeneral/fix-ci
Workaround & Document debbug 34341 (fixed in Emacs 26.3, 27.1)
| -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 |