I'm using Aquamacs Emacs 3.6 for Mac (I've got Ventura 13.4)
I am setting up an emacs file for my developing environment, with the following contents :
;;; .emacs --- Emacs conf file -*- coding: utf-8 -*- ;; ____________________________________________________________________________ (require 'package) (with-eval-after-load 'tls (setq gnutls-algorithm-priority "NORMAL:-VERS-TLS1.3") (push "/usr/local/etc/libressl/cert.pem" gnutls-trustfiles)) (add-to-list 'package-archives '("melpa" . "https://melpa.org/packages/") t) (custom-set-variables ;; custom-set-variables was added by Custom. ;; If you edit it by hand, you could mess it up, so be careful. ;; Your init file should contain only one such instance. ;; If there is more than one, they won't work right. '(diff-switches "-u") '(package-selected-packages '(learn-ocaml company merlin-iedit merlin-eldoc merlin tuareg magit-gitflow magit yaml-mode markdown-mode helpful discover-my-major which-key tabbar use-package)) '(tapfa-init-coq nil) '(tapfa-init-cua nil)) (custom-set-faces ;; custom-set-faces was added by Custom. ;; If you edit it by hand, you could mess it up, so be careful. ;; Your init file should contain only one such instance. ;; If there is more than one, they won't work right. '(proof-locked-face ((t (:background "#add8e6")))) '(region ((t (:background "gold1" :distant-foreground "dim gray"))))) ;; Bootstrap use-package (unless (package-installed-p 'use-package) (package-refresh-contents) (package-install 'use-package)) (eval-when-compile (require 'use-package)) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; Config pour augmenter la découvrabilité (use-package tabbar :ensure t :init (tabbar-mode t)) (use-package which-key :ensure t :config (which-key-mode)) (use-package discover-my-major :ensure t :config (global-set-key (kbd "C-h C-m") #'discover-my-major) (global-set-key (kbd "C-h M-m") #'discover-my-mode)) ;; Recall we also have the standard keybinding "C-h m". (use-package helpful :ensure t :config (global-set-key (kbd "C-h f") #'helpful-callable) (global-set-key (kbd "C-h v") #'helpful-variable) (global-set-key (kbd "C-h k") #'helpful-key) ;;; Look up Functions (excludes macros). ;; (global-set-key (kbd "C-h F") #'helpful-function) ;;; Look up Commands (= keybindings). ;; (global-set-key (kbd "C-h K") #'helpful-command) ;;; COMMENTED-OUT as "Info-goto-emacs[-key]-command-node" are more useful. (add-hook 'emacs-lisp-mode-hook #'(lambda () (local-set-key (kbd "C-c C-.") #'helpful-at-point)))) ;; Note we can also type "C-h" after a prefix to list its expansions. ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; Config de markdown-mode (to edit README.md files easily!) and yaml-mode (use-package markdown-mode :ensure t) (use-package yaml-mode :ensure t) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; Config de Magit ;; Copied-from: https://gist.github.com/erikmd/82c4b2a50a77c98e8fe6318530c531b7 ;;; Pour plus d'infos : ;; https://github.com/magit/magit et https://magit.vc (doc officielle) ;; https://youtu.be/mtliRYQd0j4 (tuto vidéo sur git-rebase avec Magit) (use-package magit :ensure t :defer t :config (setq magit-diff-refine-hunk 'all) :bind (("C-x g" . magit-status) ("C-x M-g" . magit-dispatch-popup))) (use-package magit-gitflow :ensure t :after magit :config (add-hook 'magit-mode-hook 'turn-on-magit-gitflow)) ;; Protect against accident pushes to upstream/pushremote ;; compatible with https://github.com/magit/magit/pull/3813 ;; tested with magit-20200927.1644 (defadvice magit-push-current-to-upstream (around my-protect-accidental-magit-push-current-to-upstream) "Protect against accidental push to upstream. Causes `magit-run-git-async' to ask the user for confirmation first." (let ((my-magit-ask-before-push t)) ad-do-it)) (defadvice magit-push-current-to-pushremote (around my-protect-accidental-magit-push-current-to-pushremote) "Protect against accidental push to upstream. Causes `magit-run-git-async' to ask the user for confirmation first." (let ((my-magit-ask-before-push t)) ad-do-it)) (defun magit-git-to-string (args) "Pretty-print the `magit-run-git-async' arguments. Quote the substrings if need be." (cond ((not args) "") ((stringp args) (shell-quote-argument args)) ((listp args) (mapconcat #'magit-git-to-string args " ")) (t (error "Unrecognized: %s" (pp-to-string args))))) ;(magit-git-to-string '("push" "-v" ("--force-with-lease") "origin" "master:refs/heads/master")) (defadvice magit-run-git-async (around my-protect-accidental-magit-run-git-async) "Maybe ask the user for confirmation before pushing. Advices to `magit-push-current-to-*' trigger this query." (if (bound-and-true-p my-magit-ask-before-push) ;; Arglist is (ARGS) (if (y-or-n-p (format "Run 'git %s'? " (magit-git-to-string (ad-get-args 0)))) ad-do-it (error "Push aborted by user")) ad-do-it)) (setq ad-redefinition-action 'accept) (ad-activate 'magit-push-current-to-upstream) (ad-activate 'magit-push-current-to-pushremote) (ad-activate 'magit-run-git-async) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; Config de Tuareg, Merlin et Company (setq tapfa-opam-available (eq (shell-command "opam var bin") 0)) (if tapfa-opam-available (use-package tuareg :ensure t :defer t :init (setq tuareg-opam-insinuate t)) (use-package tuareg :ensure t :defer t)) ;;; Désactivé car le raccourci associé à <home> est malencontreux ;; (use-package bifocal ;; :ensure t ;; :hook ;; (tuareg-interactive-mode . bifocal-mode)) (if tapfa-opam-available (use-package merlin :ensure t :hook ((tuareg-mode caml-mode) . merlin-mode) :config (setq merlin-command 'opam)) (use-package merlin :ensure t :hook ((tuareg-mode caml-mode) . merlin-mode) :config (setq merlin-command "ocamlmerlin"))) (use-package merlin-eldoc :ensure t :hook ((tuareg-mode caml-mode) . merlin-eldoc-setup) :bind (:map merlin-mode-map ("C-c <C-left>" . merlin-eldoc-jump-to-prev-occurrence) ("C-c <C-right>" . merlin-eldoc-jump-to-next-occurrence))) (use-package merlin-iedit :ensure t :after merlin-eldoc :bind (:map merlin-mode-map ("C-c C-o" . merlin-iedit-occurrences))) (use-package company :ensure t :hook ((tuareg-mode caml-mode) . company-mode) :config (bind-key "<backtab>" 'company-complete)) (use-package learn-ocaml :ensure t) When I launch Aquamacs I have the following error message. The majority of packages are installed successfully, except for the following ones
Error (use-package): Failed to install discover-my-major: Package ‘discover-my-major-’ is unavailable Error (use-package): Cannot load discover-my-major Error (use-package): Failed to install helpful: Package ‘helpful-’ is unavailable Error (use-package): Cannot load helpful Error (use-package): Failed to install markdown-mode: Package ‘markdown-mode-’ is unavailable Error (use-package): Failed to install yaml-mode: Package ‘yaml-mode-’ is unavailable Error (use-package): Cannot load yaml-mode Error (use-package): Failed to install magit: Package ‘magit-’ is unavailable Error (use-package): Failed to install magit-gitflow: Package ‘magit-gitflow-’ is unavailable Error (use-package): Failed to install tuareg: Package ‘tuareg-’ is unavailable Error (use-package): Failed to install merlin: Package ‘merlin-’ is unavailable Error (use-package): Failed to install merlin-eldoc: Package ‘merlin-eldoc-’ is unavailable Error (use-package): Failed to install merlin-iedit: Package ‘merlin-iedit-’ is unavailable Error (use-package): Failed to install learn-ocaml: Package ‘learn-ocaml-’ is unavailable Error (use-package): Cannot load learn-ocaml package-refresh-contents is executed successfully, I think the error might be because of gnutls ; to see if something was loaded I tried M-x eww RET https://www.wikipedia.org/ RET but I got the error GnuTLS error: #<process www.wikipedia.org>, -430
Thank you if you can help me !
