From f833bc4e21f3abbfbb27461b6a146919f6843708 Mon Sep 17 00:00:00 2001 From: Gabriel Ebner Date: Wed, 30 Aug 2017 20:35:19 +0200 Subject: [PATCH 1/3] mutt: set mbox_type --- muttrc | 2 ++ 1 file changed, 2 insertions(+) diff --git a/muttrc b/muttrc index 8d9985a..4a0379d 100644 --- a/muttrc +++ b/muttrc @@ -33,3 +33,5 @@ set use_envelope_from=yes set realname="Gabriel Ebner" alternates gebner@gebner.org gebner@2b7e.org ge@gabrielebner.at gabriel.ebner@tuwien.ac.at set reverse_name + +set mbox_type=maildir From 9e9b4b9f5cf8b52fb129cc16d0ba28daedd1b312 Mon Sep 17 00:00:00 2001 From: Gabriel Ebner Date: Wed, 30 Aug 2017 20:36:13 +0200 Subject: [PATCH 2/3] spacemacs: fix for evil goto-definition --- spacemacs | 3 +++ 1 file changed, 3 insertions(+) diff --git a/spacemacs b/spacemacs index 2aee295..6b075c9 100644 --- a/spacemacs +++ b/spacemacs @@ -221,6 +221,9 @@ you should place your code here." (when (file-exists-p twelf-root) (load-file (concat twelf-root "emacs/twelf-init.el"))) + (setq spacemacs-default-jump-handlers + (remove 'evil-goto-definition spacemacs-default-jump-handlers)) + (setq lean-rootdir "/home/gebner/lean") (setq flycheck-display-errors-function nil) ; disable annoying flycheck tooltips (when (file-exists-p lean-rootdir) From dc8b315570a7461c622f9cbcd600d7ae53ce572a Mon Sep 17 00:00:00 2001 From: Gabriel Ebner Date: Wed, 30 Aug 2017 20:36:27 +0200 Subject: [PATCH 3/3] sbt: disable ensime --- sbt/0.13/plugins/ensime.sbt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sbt/0.13/plugins/ensime.sbt b/sbt/0.13/plugins/ensime.sbt index e5ed226..ba13770 100644 --- a/sbt/0.13/plugins/ensime.sbt +++ b/sbt/0.13/plugins/ensime.sbt @@ -1,3 +1,3 @@ resolvers += Resolver.sonatypeRepo("snapshots") -addSbtPlugin("org.ensime" % "sbt-ensime" % "1.12.12") +// addSbtPlugin("org.ensime" % "sbt-ensime" % "1.12.13")