[emacs][wip] fix up some breakages due to use-package-always-defer

[~bandali/configs] / init.org

diff --git a/init.org b/init.org
index 3cf7343..1f3d721 100644 (file)
--- a/init.org
+++ b/init.org
@@ -880,6 +880,7 @@ And here's where my actual Org configurations begin:
                t))
 
 (use-feature ox-beamer
                t))
 
 (use-feature ox-beamer

+  :demand

   :after ox)
 #+end_src
 
   :after ox)
 #+end_src
 


@@ -1411,7 +1412,8 @@ Automatically save place in each file.
 ** [[https://coq.inria.fr][Coq]] (with [[https://github.com/ProofGeneral/PG][Proof General]])
 
 #+begin_src emacs-lisp
 ** [[https://coq.inria.fr][Coq]] (with [[https://github.com/ProofGeneral/PG][Proof General]])
 
 #+begin_src emacs-lisp

-(use-package proof-general)
+(use-package proof-site
+  :straight proof-general)

 #+end_src
 
 ** [[https://leanprover.github.io][Lean]] (with [[https://github.com/leanprover/lean-mode][lean-mode]])
 #+end_src
 
 ** [[https://leanprover.github.io][Lean]] (with [[https://github.com/leanprover/lean-mode][lean-mode]])


@@ -2014,7 +2016,7 @@ Also see [[https://www.emacswiki.org/emacs/rebox2][rebox2]].
 
 #+begin_src emacs-lisp
 (use-package shrink-path
 
 #+begin_src emacs-lisp
 (use-package shrink-path

-  :after eshell
+  :defer 2

   :config
   (setq eshell-prompt-regexp "\\(.*\n\\)*λ "
         eshell-prompt-function #'+eshell/prompt)
   :config
   (setq eshell-prompt-regexp "\\(.*\n\\)*λ "
         eshell-prompt-function #'+eshell/prompt)


@@ -2045,6 +2047,7 @@ Also see [[https://www.emacswiki.org/emacs/rebox2][rebox2]].
 
 #+begin_src emacs-lisp
 (use-package eshell-up
 
 #+begin_src emacs-lisp
 (use-package eshell-up

+  :commands eshell-up

   :after eshell)
 #+end_src
 
   :after eshell)
 #+end_src
 


@@ -2350,6 +2353,7 @@ Convenient footnotes in =message-mode=.
 
 (use-feature ebdb-gnus
   :after ebdb
 
 (use-feature ebdb-gnus
   :after ebdb

+  :demand

   :custom
   (ebdb-gnus-window-configuration
    '(article
   :custom
   (ebdb-gnus-window-configuration
    '(article


@@ -2361,6 +2365,7 @@ Convenient footnotes in =message-mode=.
 
 (use-feature ebdb-mua
   :after ebdb
 
 (use-feature ebdb-mua
   :after ebdb

+  :demand

   ;; :custom (ebdb-mua-pop-up nil)
   )
 
   ;; :custom (ebdb-mua-pop-up nil)
   )