debug-on-error t)
(setq use-package-verbose nil
use-package-expand-minimally t))
+
+(setq use-package-always-defer t)
#+end_src
*** COMMENT Epkg
** Bindings
#+begin_src emacs-lisp
+(require 'bind-key)
(bind-keys
("C-c a i" . ielm)
Mostly because =counsel= needs it to remember history.
#+begin_src emacs-lisp
-(use-package smex
- :defer t)
+(use-package smex)
#+end_src
*** [[https://github.com/abo-abo/swiper][Ivy]] (and friends)
#+begin_src emacs-lisp
(use-feature ibuffer
- :defer t
:bind
(("C-x C-b" . ibuffer-other-window)
:map ibuffer-mode-map
#+begin_src emacs-lisp
(use-feature outline
- :defer t
:hook (prog-mode . outline-minor-mode)
:bind
(:map
:custom (ls-lisp-dirs-first t))
(use-feature dired
- :defer t
:config
(setq dired-listing-switches "-alh"
ls-lisp-use-insert-directory-program nil)
;; https://oremacs.com/2017/03/18/dired-ediff/
(defun dired-ediff-files ()
(interactive)
+ (require 'dired-aux)
(defvar ediff-after-quit-hook-internal)
(let ((files (dired-get-marked-files))
(wnd (current-window-configuration)))
(set-window-configuration wnd))))
(error "no more than 2 files should be marked"))))
:bind (:map dired-mode-map
+ ("b" . dired-up-directory)
("e" . dired-ediff-files)
("E" . dired-toggle-read-only)
("\\" . dired-hide-details-mode)
#+begin_src emacs-lisp
(use-feature help
- :defer t
:config
(temp-buffer-resize-mode)
(setq help-window-select t))
#+begin_src emacs-lisp
(use-feature tramp
- :defer t
:config
(add-to-list 'tramp-default-proxies-alist '(nil "\\`root\\'" "/ssh:%h:"))
(add-to-list 'tramp-default-proxies-alist '("localhost" nil nil))
#+begin_src emacs-lisp
(use-package dash
- :defer t
:config (dash-enable-font-lock))
#+end_src
#+begin_src emacs-lisp
(use-package alloy-mode
:straight (:host github :repo "dwwmmn/alloy-mode")
- :defer t
:config (setq alloy-basic-offset 2))
#+end_src
** [[https://coq.inria.fr][Coq]] (with [[https://github.com/ProofGeneral/PG][Proof General]])
#+begin_src emacs-lisp
-(use-package proof-general
- :defer t)
+(use-package proof-general)
#+end_src
** [[https://leanprover.github.io][Lean]] (with [[https://github.com/leanprover/lean-mode][lean-mode]])
#+begin_src emacs-lisp
(use-package haskell-mode
- :defer t
:config
(setq haskell-indentation-layout-offset 4
haskell-indentation-left-offset 4
#+begin_src emacs-lisp
(use-package sgml-mode
- :defer t
:config
(setq sgml-basic-offset 2))
#+end_src
#+begin_src emacs-lisp
(use-package css-mode
- :defer t
:config
(setq css-indent-offset 2))
#+end_src
#+begin_src emacs-lisp
(use-package web-mode
- :defer t
:mode "\\.html\\'"
:config
(a/setq-every 2
#+begin_src emacs-lisp
(use-feature man
- :defer t
:config (setq Man-width 80))
#+end_src
#+begin_src emacs-lisp
(use-package smart-mode-line
+ :commands (sml/apply-theme)
:config
(sml/setup))
#+end_src
#+begin_src emacs-lisp
(use-package projectile
- :defer t
:bind-keymap ("C-c p" . projectile-command-map)
:config
(projectile-mode)
#+begin_src emacs-lisp
(use-package ebdb
- :defer 1
+ :after gnus
:bind (:map gnus-group-mode-map ("e" . ebdb))
:config
(setq ebdb-sources (no-littering-expand-var-file-name "ebdb"))