Add changes to doom emacs and zsh

3 files changed, 29 insertions, 10 deletions

diff --git a/doom/abbrev-defs b/doom/abbrev-defs
index 2f5eafe..b9b6d7e 100644
--- a/doom/abbrev-defs
+++ b/doom/abbrev-defs
@@ -1,10 +1,8 @@
 ;;-*-coding: utf-8;-*-
 (define-abbrev-table 'global-abbrev-table
   '(
-    ("T" "The" nil :count 4)
     ("alth" "although" nil :count 1)
     ("bc" "because" nil :count 0)
-    ("t" "the" nil :count 1)
     ("th" "though" nil :count 0)
     ("vc" "Vericert" nil :count 0)
    ))
diff --git a/doom/config.org b/doom/config.org
index c58d898..6b9534b 100644
--- a/doom/config.org
+++ b/doom/config.org
@@ -747,7 +747,8 @@ This function uses the date command line tool to do it."
             "context --purgeall %s"
             TeX-run-command nil t :help "Run ConTeXt")) TeX-command-list))
   (map! :map ConTeXt-mode-map
-        "C-c ]"   #'ebib-insert-citation))
+        "C-c ]"   #'ebib-insert-citation)
+  (add-hook 'ConTeXt-mode-hook #'reftex-mode))
 
 (use-package! ox-gfm :after ox)
 (use-package! ox-hugo :after ox)
@@ -1000,6 +1001,20 @@ This function uses the date command line tool to do it."
 ;; Set up dictionaries
 (setq ispell-dictionary "british")
 
+(use-package! spell-fu
+  :config
+  (add-hook 'spell-fu-mode-hook
+            (lambda ()
+              (spell-fu-dictionary-add (spell-fu-get-ispell-dictionary "en_GB"))
+              (spell-fu-dictionary-add (spell-fu-get-ispell-dictionary "de_DE"))
+              (spell-fu-dictionary-add (spell-fu-get-ispell-dictionary "fr_FR"))
+              (spell-fu-dictionary-add
+               (spell-fu-get-personal-dictionary "fr-personal" "~/.aspell.en_GB.pws"))
+              (spell-fu-dictionary-add
+               (spell-fu-get-personal-dictionary "de-personal" "~/.aspell.de_DE.pws"))
+              (spell-fu-dictionary-add
+               (spell-fu-get-personal-dictionary "fr-personal" "~/.aspell.fr_FR.pws")))))
+
 (after! flyspell
   (define-key flyspell-mode-map (kbd "C-.") nil)
   (define-key flyspell-mode-map (kbd "C-,") nil)
@@ -1094,7 +1109,8 @@ https://yannherklotz.com")
 
   (setq +notmuch-home-function (lambda () (notmuch-search "tag:inbox"))))
 
-(after! shr (setq shr-use-fonts nil))
+(after! shr (setq shr-use-fonts nil
+                  shr-max-image-proportion 0.5))
 #+end_src
 
 ** Smartparens
@@ -1382,6 +1398,11 @@ https://yannherklotz.com")
   (setq cdlatex-command-alist nil)
   (setq cdlatex-math-modify-alist nil))
 
+(use-package! boogie-friends
+  :config
+  (setq flycheck-dafny-executable (executable-find "dafny"))
+  (setq dafny-verification-backend 'cli))
+
 ;;(add-to-list 'load-path "/usr/local/Cellar/agda/2.6.2.2/cabal/store/ghc-8.10.7/Agd-2.6.2.2-3bca6588/share/emacs-mode")
 ;;
 ;;(use-package! agda2-mode)
diff --git a/doom/init.el b/doom/init.el
index 0e27669..e6e4aef 100644
--- a/doom/init.el
+++ b/doom/init.el
@@ -74,7 +74,7 @@
        vc                  ; version-control and Emacs, sitting in a tree
 
        :term
-       eshell              ; a consistent, cross-platform shell (WIP)
+       ;;eshell            ; a consistent, cross-platform shell (WIP)
        ;;shell             ; a terminal REPL for Emacs
        ;;term              ; terminals in Emacs
        ;;vterm             ; another terminals in Emacs
@@ -89,14 +89,14 @@
        ;;debugger          ; FIXME stepping through code, to help you add bugs
        direnv
        ;;docker
-       editorconfig        ; let someone else argue about tabs vs spaces
+       ;;editorconfig      ; let someone else argue about tabs vs spaces
        ;;ein               ; tame Jupyter notebooks with emacs
-       (eval +overlay)     ; run code, run (also, repls)
+       eval                ; run code, run (also, repls)
        ;;gist              ; interacting with github gists
        lookup              ; navigate your code and its documentation
        (lsp +eglot)
        magit               ; a git porcelain for Emacs
-       make                ; run make tasks from Emacs
+       ;;make              ; run make tasks from Emacs
        (pass +auth)        ; password manager for nerds
        pdf                 ; pdf enhancements
        ;;prodigy           ; FIXME managing external services & code builders
@@ -129,7 +129,7 @@
        ;;idris             ;
        ;;(java +meghanada) ; the poster child for carpal tunnel syndrome
        ;;javascript        ; all(hope(abandon(ye(who(enter(here))))))
-       julia               ; a better, faster MATLAB
+       ;;julia             ; a better, faster MATLAB
        ;;kotlin            ; a better, slicker Java(Script)
        latex               ; writing papers in Emacs has never been so fun
        ;;lean
@@ -145,7 +145,7 @@
         ;;+dragndrop       ; drag & drop files/images into org buffers
         +hugo              ; use Emacs for hugo blogging
         ;;+jupyter         ; ipython/jupyter support for babel
-        ;;+pandoc          ; export-with-pandoc support
+        +pandoc          ; export-with-pandoc support
         ;;+pomodoro        ; be fruitful with the tomato technique
         +present           ; using org-mode for presentations
         )