diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-01-02 15:48:45 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-01-02 15:48:45 +0000 |
commit | 532c99d5b9556812e8ab72bc17ce0a94bf8a2fe7 (patch) | |
tree | be7801e7d67c8eb57dbcba3566d2ab77efabe84f /doom/packages.el | |
parent | 1d8c8942a0eb97704886cd4614f558b2e5fcfa51 (diff) | |
download | dotfiles-532c99d5b9556812e8ab72bc17ce0a94bf8a2fe7.tar.gz dotfiles-532c99d5b9556812e8ab72bc17ce0a94bf8a2fe7.zip |
Update doom configuration
Diffstat (limited to 'doom/packages.el')
-rw-r--r-- | doom/packages.el | 45 |
1 files changed, 4 insertions, 41 deletions
diff --git a/doom/packages.el b/doom/packages.el index 37d704a..56d91e8 100644 --- a/doom/packages.el +++ b/doom/packages.el @@ -7,16 +7,12 @@ ;; `org-bullets' replacement (package! org-superstar) (package! ox-reveal) -;(package! ox-ssh) (package! ox-tufte) (package! org-transclusion :recipe (:host github :repo "nobiot/org-transclusion")) (package! org-zettelkasten :recipe (:host github :repo "ymherklotz/emacs-zettelkasten")) -;;(package! elfeed-org) - -;; Latex stuff -;;(package! pdf-tools) +(package! elfeed-score) ;; Bibtex stuff (package! ebib) @@ -26,53 +22,29 @@ ;; Completion (package! orderless) -(package! vertico) (package! marginalia) (package! embark) -(package! consult) (package! embark-consult) (package! ripgrep) ;; Extra language mobdes (package! yaml-mode) -(package! slime) (package! pollen-mode) -(package! tree-sitter) -(package! tree-sitter-langs) +;;(package! tree-sitter) +;;(package! tree-sitter-langs) ;; Nix (package! direnv) ;; Misc dependencies (package! hungry-delete) -;;(package! elfeed) - -;; Chatting -;;(package! plz -;; :recipe (:host github :repo "alphapapa/plz.el")) -;;(package! ement -;; :recipe (:host github :repo "alphapapa/ement.el")) -;;(package! erc-hl-nicks) -;;(package! alert) -;;(package! znc) ;; Coq -(package! alectryon) ;; Coq documentation tool ;; Teaching (package! boogie-friends) -(package! isar-mode - :recipe (:host github :repo "m-fleury/isar-mode")) -(package! isar-goal-mode - :recipe (:host github :repo "m-fleury/simp-isar-mode")) -(package! lsp-isar - :recipe (:host github :repo "m-fleury/isabelle-emacs" - :branch "Isabelle2021-more-vscode" - :files ("src/Tools/emacs-lsp/lsp-isar/*.el"))) -(package! session-async) - ;; Privacy (package! pinentry) @@ -82,13 +54,4 @@ ;; Themes (package! color-theme-sanityinc-tomorrow) (package! modus-themes) - -;; Temp fixes -;; https://github.com/hlissner/doom-emacs/issues/5667#issuecomment-948229579 -;;(package! gitconfig-mode -;; :recipe (:host github :repo "magit/git-modes" -;; :files ("gitconfig-mode.el"))) -;;(package! gitignore-mode -;; :recipe (:host github :repo "magit/git-modes" -;; :files ("gitignore-mode.el"))) -;; +(package! elpher) |