gebner/etc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Merge commit 'dc8b315'

Browse Source
This commit is contained in:
Gabriel Ebner 2017-09-07 09:41:57 +02:00
commit 678ad01dfe
3 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
muttrc
View File

@ -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

2
sbt/0.13/plugins/ensime.sbt
View File

@ -1,3 +1,3 @@
resolvers += Resolver.sonatypeRepo("snapshots")
addSbtPlugin("org.ensime" % "sbt-ensime" % "1.12.12")
// addSbtPlugin("org.ensime" % "sbt-ensime" % "1.12.13")

3
spacemacs
View File

@ -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)