disable syntax highlighting, other misc changes

[.emacs.d.git] / init.el

diff --git a/init.el b/init.el
index 95340c8e8c98a1259e919c99050407f56a9d4073..8ab378dde2c9c49de2f6ef26fefaadf8d4a39859 100644 (file)
--- a/init.el
+++ b/init.el
@@ -3,11 +3,14 @@
 ;; y-or-n instead of yes-or-no
 (defalias 'yes-or-no-p 'y-or-n-p)
 
-;; Don't use messages that you don't rea
+;; Don't show startup msg, don't store tilde files
 (setq make-backup-files nil)
 (setq initial-scratch-message "")
 (setq inhibit-startup-message t)
 
+;; turn OFF syntax highlighting
+(global-font-lock-mode 0)
+
 ;; cursor bar
 (setq-default cursor-type '(bar . 2))
 
@@ -50,10 +53,8 @@
 
 (erc-autojoin-mode t)
 (setq erc-autojoin-channels-alist
-  '((".*\\.freenode.net" "#tahoe-lafs" "#haskell" "#haskell-beginners")
-    (".*\\.oftc.net" "#LeastAuthority")
-    ;;(".*\\.mozilla.org" "#rust-beginners")
-    ))
+  '((".*\\.freenode.net" "#tahoe-lafs") ;; #inferno "#plan9chan" "#cat-v")
+    (".*\\.oftc.net" "#LeastAuthority")))
 
 ;; check channels
 (erc-track-mode t)
@@ -220,3 +221,13 @@
 
 ;(desktop-save-mode 1)
 
+;; which function?
+(which-func-mode 1)
+(add-to-list 'which-func-modes '(c-mode c++-mode rust-mode haskell-mode))
+
+;; flysheck
+(add-hook 'after-init-hook #'global-flycheck-mode)
+
+;; coq proof general
+(load-file "~/.emacs.d/ProofGeneral/generic/proof-site.el") 
+