diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-11-11 18:47:26 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-11-11 18:50:30 +0000 |
commit | 7937f9e96e2e04528d4e39fc1427a4926cb4bf8b (patch) | |
tree | af9fbc1fbb307854fc2e40d5f53296f518fca660 /doom/packages.el | |
parent | 3f9a68568353edf8721004b326a3331a07e212af (diff) | |
download | dotfiles-7937f9e96e2e04528d4e39fc1427a4926cb4bf8b.tar.gz dotfiles-7937f9e96e2e04528d4e39fc1427a4926cb4bf8b.zip |
Add more configurations
Diffstat (limited to 'doom/packages.el')
-rw-r--r-- | doom/packages.el | 56 |
1 files changed, 43 insertions, 13 deletions
diff --git a/doom/packages.el b/doom/packages.el index 8a3016f..6fbaa71 100644 --- a/doom/packages.el +++ b/doom/packages.el @@ -10,6 +10,12 @@ (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) ;; Bibtex stuff (package! ebib) @@ -17,7 +23,7 @@ ;; Haskell stuff (package! ormolu) -;; completion +;; Completion (package! orderless) (package! vertico) (package! marginalia) @@ -26,33 +32,57 @@ (package! embark-consult) (package! ripgrep) -(package! direnv) +;; Extra language mobdes (package! yaml-mode) +(package! slime) -(package! erc-hl-nicks) -(package! alert) -(package! znc) - -(package! elfeed) -(package! elfeed-org) +;; Nix +(package! direnv) ;; Misc dependencies (package! hungry-delete) -(package! vagrant-tramp) +(package! elfeed) +;; Chatting (package! plz :recipe (:host github :repo "alphapapa/plz.el")) (package! ement :recipe (:host github :repo "alphapapa/ement.el")) -(package! org-zettelkasten - :recipe (:host github :repo "ymherklotz/emacs-zettelkasten")) +(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) +;; Emacs lisp (package! package-lint) ;; Themes (package! color-theme-sanityinc-tomorrow) (package! modus-themes) -;;(package! modus-operandi-theme) -;;(package! modus-vivendi-theme) + +;; 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"))) |