From 873a1990618334dd4a7aa8a93ebaecd95d71eab8 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Tue, 19 Apr 2022 11:17:39 +0100 Subject: Add ox-context to doom packages --- doom/packages.el | 2 ++ 1 file changed, 2 insertions(+) (limited to 'doom') diff --git a/doom/packages.el b/doom/packages.el index a1627fb..a9fa8ad 100644 --- a/doom/packages.el +++ b/doom/packages.el @@ -8,6 +8,8 @@ (package! ox-gfm) (package! ox-tufte :recipe (:host nil :repo "https://git.sr.ht/~ymherklotz/ox-tufte")) +(package! ox-context + :recipe (:host github :repo "Jason-S-Ross/ox-context")) (package! org-transclusion :recipe (:host github :repo "nobiot/org-transclusion")) (package! org-zettelkasten -- cgit From d066b6c848a48cb3cd6ac1562eb840c4a10101e0 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Tue, 19 Apr 2022 11:17:47 +0100 Subject: Add alectryon config --- doom/config.org | 14 +++++++++++++- 1 file changed, 13 insertions(+), 1 deletion(-) (limited to 'doom') diff --git a/doom/config.org b/doom/config.org index b99b2b2..2f18499 100644 --- a/doom/config.org +++ b/doom/config.org @@ -1005,7 +1005,19 @@ https://yannherklotz.com") :hook (coq-mode . alectryon-mode) :config (map! :map alectryon-mode-map - "C-c u t" #'alectryon-toggle)) + "C-c u t" #'alectryon-toggle + "C-c u p" #'ymhg/alectryon-preview) + (defun ymhg/alectryon-preview () + "Display an HTML preview of the current buffer." + (interactive) + (let* ((html-fname (make-temp-file "alectryon" nil ".html")) + (args `("-r" "5" "-" ,html-fname))) + (apply #'call-process-region nil nil "rst2html5" nil nil nil args) + (message "Compilation complete") + (browse-url html-fname)))) + +(use-package! ox-context + :after org) (use-package! ox-tufte :after org -- cgit From 064934f86c8f2839f28acc92c07864ce265f68fe Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sat, 30 Apr 2022 10:42:42 +0100 Subject: Adding company fixes to config.org --- doom/config.org | 19 +++++++++++++------ 1 file changed, 13 insertions(+), 6 deletions(-) (limited to 'doom') diff --git a/doom/config.org b/doom/config.org index b35d7fd..837185a 100644 --- a/doom/config.org +++ b/doom/config.org @@ -39,6 +39,7 @@ (electric-indent-mode -1) (menu-bar-mode -1) +(add-hook 'text-mode-hook (lambda () (company-mode -1))) #+end_src * Key Binding Customisations @@ -51,8 +52,7 @@ (global-set-key (kbd "M-c") #'capitalize-dwim) (global-set-key (kbd "C-c z") #'quick-calc) (global-set-key (kbd "") #'revert-buffer) -(global-set-key (kbd "C-.") #'other-window) -(global-set-key (kbd "C-,") (lambda () (interactive) (other-window -1))) +(global-set-key (kbd "M-,") (lambda () (interactive) (other-window -1))) (global-set-key (kbd "C-c l") #'org-store-link) (global-set-key (kbd "C-c a") #'org-agenda) (global-set-key (kbd "C-c /") #'avy-goto-word-1) @@ -660,7 +660,10 @@ "M-r" #'sp-split-sexp) (require 'smartparens-config) (show-smartparens-global-mode +1) - (smartparens-global-mode 1)) + (smartparens-global-mode 1) +;;(sp-pair "'" nil :actions :rem) + (sp-local-pair 'coq-mode "'" nil :actions nil) + ) (after! writeroom-mode (setq +zen-text-scale 1)) @@ -1028,6 +1031,10 @@ https://yannherklotz.com") (message "Compilation complete") (browse-url html-fname)))) +(use-package! rst + :config + (add-hook 'rst-mode-hook (lambda () (setq fill-column 80)))) + (use-package! ox-context :after org) @@ -1035,7 +1042,7 @@ https://yannherklotz.com") :after org :config) -(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) +;;(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) #+end_src -- cgit