diff options
Diffstat (limited to 'emacs')
-rw-r--r-- | emacs/loader.org | 55 |
1 files changed, 41 insertions, 14 deletions
diff --git a/emacs/loader.org b/emacs/loader.org index b66488b..b885599 100644 --- a/emacs/loader.org +++ b/emacs/loader.org @@ -121,11 +121,14 @@ buffer instead. (fset 'yes-or-no-p 'y-or-n-p) (global-hl-line-mode 1) (add-to-list 'custom-theme-load-path "~/.emacs.d/themes/") + (add-to-list 'load-path "~/.emacs.d/modes/") + (setq ring-bell-function 'ignore) (when (eq system-type 'darwin) (setq dired-use-ls-dired nil)) #+END_SRC #+BEGIN_SRC emacs-lisp + (global-unset-key (kbd "C-z")) (when (eq system-type 'darwin) (setq mac-right-option-modifier 'none mac-option-key-is-meta nil @@ -457,8 +460,8 @@ Define utility functions to make the reader work. ** Zettelkasten #+begin_src emacs-lisp - (when (file-directory-p "~/Projects/emacs-zettelkasten") - (add-to-list 'load-path "~/Projects/emacs-zettelkasten") + (when (file-directory-p "~/projects/emacs-zettelkasten") + (add-to-list 'load-path "~/projects/emacs-zettelkasten") (require 'zettelkasten) (zettelkasten-mode t)) #+end_src @@ -625,8 +628,7 @@ incrementally selecting more and more of the text. #+BEGIN_SRC emacs-lisp (use-package direnv - :config - (direnv-mode)) + :config (direnv-mode)) #+END_SRC * Writing @@ -664,7 +666,7 @@ incrementally selecting more and more of the text. (setq TeX-engine 'luatex) (setq TeX-auto-save t) (setq TeX-parse-self t) - ; (setq TeX-command-extra-options "-shell-escape") + (setq-default TeX-command-extra-options "-shell-escape") (setq TeX-save-query nil) (setq-default TeX-master nil) (setq TeX-PDF-mode t) @@ -771,7 +773,7 @@ Add org noter (use-package org-noter :after org :config (setq org-noter-default-notes-file-names '("notes.org") - org-noter-notes-search-path '("~/org/research") + org-noter-notes-search-path '("~/org/bibliography") org-noter-separate-notes-from-heading t)) (use-package org-ref @@ -783,16 +785,24 @@ Add org noter :config (setq org-ref-bibliography-notes "~/Dropbox/bibliography/notes.org" org-ref-default-bibliography '("~/Dropbox/bibliography/references.bib") - org-ref-pdf-directory "~/Dropbox/bibliography/bibtex-pdfs/") - (setq org-latex-pdf-process (list "latexmk -shell-escape -bibtex -f -pdf %f")) + org-ref-pdf-directory "~/Dropbox/bibliography/papers/") (setq org-ref-completion-library 'org-ref-ivy-cite)) #+END_SRC +*** Org ID + +#+begin_src emacs-lisp + (use-package org-id + :ensure nil + :after org) +#+end_src + *** Templates #+BEGIN_SRC emacs-lisp (setq org-capture-templates '(("t" "todo" entry (file+headline "~/Dropbox/org/inbox.org" "Tasks") - "* TODO %?\n\n%i\n%a\n\n"))) + "* TODO %?\n\n%i\n%a\n\n") + ())) #+END_SRC *** Agenda @@ -843,7 +853,8 @@ Add org noter #+BEGIN_SRC emacs-lisp (use-package ox-twbs) - #+EN +#+END_SRC + ** PDF Tools #+BEGIN_SRC emacs-lisp @@ -1005,7 +1016,8 @@ Adding hook to clojure mode to enable strict parentheses mode. #+begin_src emacs-lisp (use-package proof-general :config - (setq coq-compile-before-require t)) + (setq coq-compile-before-require t) + (setq proof-splash-enable nil)) #+end_src *** Elm @@ -1065,7 +1077,6 @@ Haskell mode with company mode completion. (set (make-local-variable 'projectile-tags-command) "hasktags -Re -f \"%s\" %s \"%s\""))) (setq ;;haskell-mode-stylish-haskell-path "brittany" - haskell-stylish-on-save t flycheck-ghc-language-extensions '("OverloadedStrings")) (setq haskell-indentation-layout-offset 4 @@ -1082,8 +1093,17 @@ Haskell mode with company mode completion. *** LLVM IR -#+begin_src text - (require 'llvm-mode) +#+begin_src emacs-lisp + (when (file-exists-p "~/.emacs.d/modes/llvm-mode.el") + (require 'llvm-mode)) +#+end_src + +*** HOL + +#+begin_src emacs-lisp + (when (file-exists-p "/opt/hol/tools/hol-mode.el") + (setq hol-executable "/opt/hol/bin/hol") + (load "/opt/hol/tools/hol-mode.el")) #+end_src *** Python @@ -1137,6 +1157,13 @@ JSON files should be opened in js-mode. (setq sh-indentation 2) #+END_SRC +*** SMTLIBv2 + +#+begin_src emacs-lisp + (require 'smtlib-mode) + (add-to-list 'auto-mode-alist '("\\.smt\\'" . smtlib-mode)) +#+end_src + *** Verilog #+begin_src emacs-lisp |