From 66f40f2cc76af0f40a9c25c2b142deed9194ae69 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 4 Feb 2020 11:58:10 +0000
Subject: Remove nix and add smt mode

---
 emacs/loader.org | 19 ++++++++-----------
 1 file 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
-- 
cgit