awesome-emacs/doomemacs
1
0
Fork 0
mirror of https://github.com/doomemacs/doomemacs synced 2025-08-01 12:17:25 -05:00
Code Issues Packages Projects Releases Wiki Activity

fix(coq): noop proof-upgrade-elpa-packages

Browse Source 
Doom treats the use of package.el and its API as user error unless
they've called `package-initialize' themselves (in which case, it is
assumed you know what you're doing and truly want to use package.el).
This commit is contained in:
Henrik Lissner
2025-04-24 18:56:41 -04:00
parent 303dd28db8
commit bb7dc7583f
1 changed files with 9 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
modules/lang/coq/config.el
View File

@ -87,6 +87,15 @@
;; https://github.com/cpitclaudel/company-coq/issues/42 ;; https://github.com/cpitclaudel/company-coq/issues/42
(add-to-list 'company-coq-disabled-features 'company)) (add-to-list 'company-coq-disabled-features 'company))
;; HACK: Doom treats the use of package.el and its API as user error unless
;; they've called `package-initialize' themselves (in which case, it is
;; assumed you know what you're doing).
(defadvice! +coq--noop-upgrade-elpa-packages-a (fn &rest args)
:override #'proof-upgrade-elpa-packages
(if (and (featurep 'package) package--initialized)
(apply fn args)
(user-error "Doom doesn't support this command (update packages through `package!' statements!)")))
(map! :map coq-mode-map (map! :map coq-mode-map
:localleader :localleader
"ao" #'company-coq-occur "ao" #'company-coq-occur