[emacs] replace org-static-blog with ox-hugo

[~bandali/configs] / init.org

diff --git a/init.org b/init.org
index cfa190d..26d833b 100644 (file)
--- a/init.org
+++ b/init.org
@@ -858,21 +858,21 @@ TODO: break this giant source block down into individual org sections.
 #+end_src
 * Programming modes
 
 #+end_src
 * Programming modes
 

-** Alloy
+** [[http://alloytools.org][Alloy]] (with [[https://github.com/dwwmmn/alloy-mode][alloy-mode]])

 
 #+begin_src emacs-lisp
 (use-package alloy-mode
   :config (setq alloy-basic-offset 2))
 #+end_src
 
 
 #+begin_src emacs-lisp
 (use-package alloy-mode
   :config (setq alloy-basic-offset 2))
 #+end_src
 

-** Coq
+** [[https://coq.inria.fr][Coq]] (with [[https://github.com/ProofGeneral/PG][Proof General]])

 
 #+begin_src emacs-lisp
 (use-package proof-site  ; Proof General
   :load-path "lib/proof-site/generic/")
 #+end_src
 
 
 #+begin_src emacs-lisp
 (use-package proof-site  ; Proof General
   :load-path "lib/proof-site/generic/")
 #+end_src
 

-** [[https://github.com/leanprover/lean-mode][Lean]]
+** [[https://leanprover.github.io][Lean]] (with [[https://github.com/leanprover/lean-mode][lean-mode]])

 
 #+begin_src emacs-lisp
 (use-package lean-mode
 
 #+begin_src emacs-lisp
 (use-package lean-mode


@@ -1079,7 +1079,7 @@ Emacs package that displays available keybindings in popup
   :config (which-key-mode))
 #+end_src
 
   :config (which-key-mode))
 #+end_src
 

-** doom-modeline
+** [[https://github.com/seagle0128/doom-modeline][doom-modeline]]

 
 #+begin_src emacs-lisp
 (use-package doom-modeline
 
 #+begin_src emacs-lisp
 (use-package doom-modeline


@@ -1088,7 +1088,7 @@ Emacs package that displays available keybindings in popup
   :hook (after-init . doom-modeline-init))
 #+end_src
 
   :hook (after-init . doom-modeline-init))
 #+end_src
 

-** tao-theme
+** [[https://github.com/11111000000/tao-theme-emacs][tao-theme]]

 
 #+begin_src emacs-lisp
 (use-package tao-theme
 
 #+begin_src emacs-lisp
 (use-package tao-theme


@@ -1097,7 +1097,7 @@ Emacs package that displays available keybindings in popup
 #+end_src
 
 * Email
 #+end_src
 
 * Email

-** notmuch
+** [[https://notmuchmail.org][notmuch]]

 
 #+begin_src emacs-lisp
 (defun ab/notmuch ()
 
 #+begin_src emacs-lisp
 (defun ab/notmuch ()


@@ -1174,7 +1174,13 @@ Emacs package that displays available keybindings in popup
           ("abandali@uwaterloo.ca"     . "\"uwaterloo/Sent Items\"")
           ("amin.bandali@uwaterloo.ca" . "\"uwaterloo/Sent Items\"")
           ("aminb@gnu.org"             . "gnu/Sent")
           ("abandali@uwaterloo.ca"     . "\"uwaterloo/Sent Items\"")
           ("amin.bandali@uwaterloo.ca" . "\"uwaterloo/Sent Items\"")
           ("aminb@gnu.org"             . "gnu/Sent")

-          (".*"                        . "sent")))
+          (".*"                        . "sent"))
+        notmuch-search-result-format
+        '(("date" . "%12s ")
+          ("count" . "%-7s ")
+          ("authors" . "%-40s ")
+          ("subject" . "%s ")
+          ("tags" . "(%s)")))

   ;; (add-hook 'visual-fill-column-mode-hook
   ;;           (lambda ()
   ;;             (when (string= major-mode 'notmuch-message-mode)
   ;; (add-hook 'visual-fill-column-mode-hook
   ;;           (lambda ()
   ;;             (when (string= major-mode 'notmuch-message-mode)