disable syntax highlighting, other misc changes

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

diff --git a/init.el b/init.el
index e8551c0e4c87bee686b13e1bb4f09addd9fee1f9..8ab378dde2c9c49de2f6ef26fefaadf8d4a39859 100644 (file)
--- a/init.el
+++ b/init.el
@@ -1,12 +1,16 @@
+(package-initialize)
 (show-paren-mode 1)
 ;; 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))
 
@@ -28,6 +32,7 @@
  ;; If there is more than one, they won't work right.
  '(initial-frame-alist (quote ((fullscreen . maximized))))
  '(send-mail-function (quote smtpmail-send-it)))
+
 ;; Who use the bar to scroll?
 (when (display-graphic-p)
   (progn
@@ -36,40 +41,6 @@
     (tool-bar-mode 0)
     (menu-bar-mode 0)))
 
-; my-packages.el
-(require 'package)
-(add-to-list 'package-archives
-             '("melpa" . "http://melpa.milkbox.net/packages/") t)
-(add-to-list 'package-archives
-             '("marmalade" . "http://marmalade-repo.org/packages/") t)
-(package-initialize)
-
-; fetch the list of packages available
-(unless package-archive-contents
-  (package-refresh-contents))
-
-;; make sure my list of packages are installed
-(setq package-list '(go-mode
-                     rust-mode
-                     haskell-mode
-                     ghc
-                     restclient
-                     tangotango-theme
-                     fill-column-indicator
-                     paredit
-                     leuven-theme
-                     notmuch
-                     railscasts-theme
-                     racket-mode
-                     auto-complete
-                     magit
-                     ledger-mode))
-
-; install the missing packages
-(dolist (package package-list)
-  (unless (package-installed-p package)
-    (package-install package)))
-
 ;; tangotango
 ;; (load-theme 'tangotango t)
 ;; (load-theme 'railscasts t)
@@ -82,9 +53,8 @@
 
 (erc-autojoin-mode t)
 (setq erc-autojoin-channels-alist
-  '((".*\\.freenode.net" "#tahoe-lafs")
-    (".*\\.oftc.net" "#LeastAuthority")
-    (".*\\.mozilla.org" "#rust-beginners")))
+  '((".*\\.freenode.net" "#tahoe-lafs") ;; #inferno "#plan9chan" "#cat-v")
+    (".*\\.oftc.net" "#LeastAuthority")))
 
 ;; check channels
 (erc-track-mode t)
@@ -97,7 +67,7 @@
   "Connect to IRC."
   (interactive)
   (when (y-or-n-p "Do you want to start IRC? ")
-    (erc-tls :server "irc.mozilla.org" :port 6697 :nick "rkrishnan" :full-name "Ramakrishnan Muthukrishnan")
+    ;;(erc-tls :server "irc.mozilla.org" :port 6697 :nick "rkrishnan" :full-name "Ramakrishnan Muthukrishnan")
     (erc-tls :server "irc.freenode.net" :port 6697 :nick "rkrishnan" :full-name "Ramakrishnan Muthukrishnan")
     (erc-tls :server "irc.oftc.net" :port 6697 :nick "rkrishnan" :full-name "Ramakrishnan Muthukrishnan")))
 
@@ -110,8 +80,8 @@
 (add-hook 'haskell-mode-hook 'turn-on-haskell-doc-mode)
 
 ;; haskell mode
-(require 'haskell-interactive-mode)
 (require 'haskell-process)
+(require 'haskell-interactive-mode)
 (add-hook 'haskell-mode-hook 'interactive-haskell-mode)
 
 (custom-set-variables
@@ -203,7 +173,7 @@
 ;; addressbook
 (require 'notmuch-address)
 (setq notmuch-address-command "/usr/bin/notmuch-addrlookup")
-(notmuch-address-message-insinuate)
+;;(notmuch-address-message-insinuate)
 
 (require 'smtpmail)
 (setq message-send-mail-function 'smtpmail-send-it)
@@ -219,9 +189,8 @@
  ;; If there is more than one, they won't work right.
  )
 
-;; auto complete
-(ac-config-default)
-(ac-linum-workaround)
+;; company mode for auto completion
+(add-hook 'after-init-hook 'global-company-mode)
 
 ;; highlight todo
 ;; (add-hook 'prog-mode-hook 'highlight-todos)
@@ -252,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") 
+