Update spacemacs configuration

Remove scheme and add support for Idris.

emacsclient has been slow to connect. A discussion and fix
was found here.
https://github.com/syl20bnr/spacemacs/issues/6181

Signed-off-by: Sanchayan Maity <maitysanchayan@gmail.com>
This commit is contained in:
Sanchayan Maity 2019-01-18 11:23:53 +05:30 committed by Sanchayan Maity
parent dc0770bfdf
commit 7bd03f276c

View file

@ -37,8 +37,8 @@ values."
shell-default-shell 'eshell shell-default-shell 'eshell
shell-enable-smart-eshell t) shell-enable-smart-eshell t)
haskell haskell
idris
rust rust
scheme
emacs-lisp emacs-lisp
c-c++ c-c++
python python
@ -208,6 +208,7 @@ user code."
This function is called at the very end of Spacemacs initialization after This function is called at the very end of Spacemacs initialization after
layers configuration. You are free to put any user code." layers configuration. You are free to put any user code."
(setq-default xterm-query-timeout nil)
(require 'helm-bookmark) (require 'helm-bookmark)
(xterm-mouse-mode -1) (xterm-mouse-mode -1)
(setq-default tab-width 8 indent-tabs-mode t) (setq-default tab-width 8 indent-tabs-mode t)