diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-08-19 17:22:20 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-08-19 17:22:20 +0100 |
| commit | b1673e899ec30f25b71cdc9d1ffd6c8246634191 (patch) | |
| tree | 230fa6c7da9cfd47e2bdc9dad03ceaa6529e7f17 /doom/packages.el | |
| parent | 31d4d690b69b844f319fd0dcb15cb0e0f6511217 (diff) | |
| parent | 2c6a2e578286509eed8c76487e43dbb9a7bf83ea (diff) | |
| download | dotfiles-b1673e899ec30f25b71cdc9d1ffd6c8246634191.tar.gz dotfiles-b1673e899ec30f25b71cdc9d1ffd6c8246634191.zip | |
Merge branch 'master' of github.com:ymherklotz/dotfiles into master
Diffstat (limited to 'doom/packages.el')
| -rw-r--r-- | doom/packages.el | 24 |
1 files changed, 23 insertions, 1 deletions
diff --git a/doom/packages.el b/doom/packages.el index 8891894..26532fb 100644 --- a/doom/packages.el +++ b/doom/packages.el @@ -50,7 +50,29 @@ ;; our package manager can't deal with; see raxod502/straight.el#279) ;(package! builtin-package :recipe (:branch "develop")) +;; Disabling packages +(disable-packages! undo-tree org-bullets helm pretty-code company-coq) + +;; `org-mode' dependencies +(package! org-ref) +(package! org-noter) +;; `org-bullets' replacement +(package! org-superstar) + +;; Bibtex stuff +(package! ebib) + +;; Haskell stuff +(package! ormolu) + +;; Misc dependencies (package! hungry-delete) -(package! color-theme-sanityinc-tomorrow) +(package! vagrant-tramp) (package! zettelkasten :recipe (:host github :repo "ymherklotz/emacs-zettelkasten")) +(package! pinentry) + +;; Themes +(package! color-theme-sanityinc-tomorrow) +(package! modus-operandi-theme) +(package! modus-vivendi-theme) |