summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRené Neumann <rene.neumann@in.tum.de>2012-09-04 15:14:27 +0200
committerRené Neumann <rene.neumann@in.tum.de>2012-09-04 15:14:27 +0200
commit08ae3f83268783edd51dd97a749c088007f7fea4 (patch)
treec42065716bcd6d184040b23c1e83e289ffd90393
parente67bcea60286e0bbc47de13646e8840d33e77e6e (diff)
downloaddotfiles-08ae3f83268783edd51dd97a749c088007f7fea4.tar.gz
dotfiles-08ae3f83268783edd51dd97a749c088007f7fea4.tar.bz2
dotfiles-08ae3f83268783edd51dd97a749c088007f7fea4.zip
el-get
-rw-r--r--.emacs8
-rw-r--r--.emacs.d/el-get-init.el21
2 files changed, 24 insertions, 5 deletions
diff --git a/.emacs b/.emacs
index 6e3a561..9ce4988 100644
--- a/.emacs
+++ b/.emacs
@@ -1,5 +1,7 @@
(add-to-list 'load-path "~/.emacs.d")
-(add-to-list 'load-path "~/.emacs.d/evil")
+
+;; el-get
+(load "el-get-init")
;; evil
(require 'evil)
@@ -27,10 +29,6 @@
;; use Poly/ML as SML interpreter
(setq sml-program-name "poly")
-;; key bindings
-(add-hook 'proof-mode-hook
- (lambda () (local-set-key (kbd "M-c") 'unicode-tokens-insert-token)))
-
;; custom file
(setq custom-file "~/.emacs.d/custom.el")
(load custom-file)
diff --git a/.emacs.d/el-get-init.el b/.emacs.d/el-get-init.el
new file mode 100644
index 0000000..73f175c
--- /dev/null
+++ b/.emacs.d/el-get-init.el
@@ -0,0 +1,21 @@
+;; initialization of el-get
+;; do not put into .emacs to avoid cluttering
+;;
+;; SOURCE: https://github.com/dimitri/el-get
+
+(add-to-list 'load-path "~/.emacs.d/el-get/el-get")
+
+(unless (require 'el-get nil t)
+ (url-retrieve
+ "https://raw.github.com/dimitri/el-get/master/el-get-install.el"
+ (lambda (s)
+ (let (el-get-install-skip-emacswiki-recipes)
+ (goto-char (point-max))
+ (eval-print-last-sexp)))))
+
+(setq my-packages
+ (append
+ '(color-theme evil el-get sml-mode)
+ (mapcar 'el-get-source-name el-get-sources)))
+
+(el-get 'sync my-packages)