diff --git a/emacs/init.el b/emacs/init.el
index 94ff03b..cd24bfe 100644
--- a/emacs/init.el
+++ b/emacs/init.el
@@ -63,7 +63,6 @@
  '(custom-search-field nil)
  '(dashboard-set-footer nil)
  '(delete-selection-mode t)
- '(desktop-save-mode t)
  '(dhall-repl-executable "dhall-repl")
  '(dhall-use-header-line nil)
  '(dired-isearch-filenames t)
@@ -82,6 +81,7 @@
  '(flycheck-emacs-lisp-load-path 'inherit)
  '(flycheck-ghc-language-extensions (symbol-value 'haskell-language-extensions))
  '(flycheck-hlint-language-extensions (symbol-value 'haskell-language-extensions))
+ '(flycheck-idris-executable "idris2")
  '(forge-alist
    '(("github.com" "api.github.com" "github.com" forge-github-repository)
      ("gitlab.com" "gitlab.com/api/v4" "gitlab.com" forge-gitlab-repository)
@@ -107,6 +107,7 @@
  '(haskell-indentation-where-pre-offset 0)
  '(haskell-language-extensions (symbol-value 'haskell-language-extensions))
  '(haskell-tags-on-save t)
+ '(idris-interpreter-path "idris2")
  '(indent-tabs-mode nil)
  '(initial-scratch-message nil)
  '(js-indent-level 2)
@@ -125,7 +126,7 @@
  '(org-agenda-files "~/.config/orgmode/agenda_files")
  '(org-hide-leading-stars t)
  '(package-selected-packages
-   '(realgud-trepan-ni realgud-node-inspect realgud graphviz-dot-mode rust-mode lsp forge tide origami dhall-mode docker-tramp graphql-mode enh-ruby-mode scala-mode string-inflection prettier-js quelpa typescript-mode visual-fill-column ag ripgrep fill-column-indicator rjsx-mode image+ company org-jira which-key flycheck es-mode lsp-haskell projectile exec-path-from-shell lsp-ui lsp-mode editorconfig purescript-mode markdown-mode+ ssh-agency dash yaml-mode restart-emacs markdown-mode magit helm haskell-mode haml-mode form-feed dashboard))
+   '(nhexl-mode idris-mode realgud-trepan-ni realgud-node-inspect realgud graphviz-dot-mode rust-mode lsp forge tide origami dhall-mode docker-tramp graphql-mode enh-ruby-mode scala-mode string-inflection prettier-js quelpa typescript-mode visual-fill-column ag ripgrep fill-column-indicator rjsx-mode image+ company org-jira which-key flycheck es-mode lsp-haskell projectile exec-path-from-shell lsp-ui lsp-mode editorconfig purescript-mode markdown-mode+ ssh-agency dash yaml-mode restart-emacs markdown-mode magit helm haskell-mode haml-mode form-feed dashboard))
  '(prettier-js-command "prettier")
  '(projectile-globally-ignored-directories
    '(".idea" ".ensime_cache" ".eunit" ".git" ".hg" ".fslckout" "_FOSSIL_" ".bzr" "_darcs" ".tox" ".svn" ".stack-work" "node_modules" "vendor"))
@@ -154,7 +155,9 @@
      (format "cd ~/git/zendesk/guide-acceptance-tests && rspec --no-color '%s'"
              (projectile-get-relative-path-buffer))))
  '(safe-local-variable-values
-   '((prettier-js-mode)
+   '((add-to-list 'auto-mode-alist
+                  '("\\.js\\'" . js-mode))
+     (prettier-js-mode)
      (prettier-mode)
      (compilation-disable-input . t)
      (sgml-basic-offset . 2)
@@ -290,6 +293,7 @@
  ;; If you edit it by hand, you could mess it up, so be careful.
  ;; Your init file should contain only one such instance.
  ;; If there is more than one, they won't work right.
+ '(compilation-info ((t (:inherit link))))
  '(compilation-mode-line-exit ((t (:inherit compilation-info :weight bold))))
  '(compilation-mode-line-fail ((t (:inherit compilation-error :weight bold))))
  '(enh-ruby-heredoc-delimiter-face ((t (:inherit font-lock-string-face))))
@@ -297,10 +301,13 @@
  '(enh-ruby-string-delimiter-face ((t (:inherit font-lock-string-face))))
  '(erm-syn-errline ((t (:inherit flycheck-error))))
  '(erm-syn-warnline ((t (:inherit flycheck-warning))))
+ '(error ((t (:foreground "Pink" :weight bold))))
  '(fixed-pitch-serif ((t (:family "Monospace Serif"))))
  '(font-lock-comment-face ((t (:foreground "chocolate1"))))
+ '(isearch ((t (:background "palevioletred2" :foreground "white"))))
  '(magit-diff-hunk-heading ((t (:inherit lazy-highlight))))
  '(magit-diff-hunk-heading-highlight ((t (:inherit highlight))))
+ '(magit-mode-line-process-error ((t (:inherit error))))
  '(region ((t (:background "#285b89"))))
  '(success ((t (:foreground "Green3" :weight bold)))))