diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-02-04 11:58:10 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-02-04 11:58:10 +0000 |
| commit | 66f40f2cc76af0f40a9c25c2b142deed9194ae69 (patch) | |
| tree | 2d2a439baf63d1ab11a11abe538196c586c0e7db | |
| parent | 5adcb3738e15d9aa2697cfc2cd55255ae5b10cfc (diff) | |
| download | dotfiles-66f40f2cc76af0f40a9c25c2b142deed9194ae69.tar.gz dotfiles-66f40f2cc76af0f40a9c25c2b142deed9194ae69.zip | |
Remove nix and add smt mode
| -rw-r--r-- | emacs/loader.org | 19 |
1 files changed, 8 insertions, 11 deletions
diff --git a/emacs/loader.org b/emacs/loader.org index a6ca782..6027255 100644 --- a/emacs/loader.org +++ b/emacs/loader.org @@ -129,6 +129,7 @@ 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) #+END_SRC @@ -680,17 +681,6 @@ incrementally selecting more and more of the text. (use-package yasnippet-snippets) #+END_SRC - -** Nix - -#+BEGIN_SRC emacs-lisp - (use-package direnv - :config - (direnv-mode)) -#+END_SRC - -#+RESULTS: - ** Tramp #+begin_src emacs-lisp @@ -1249,6 +1239,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 |