From f0bf75ca9071812b027dba7673b6fbc804b8dd3e Mon Sep 17 00:00:00 2001 From: Gabriel Ebner Date: Sat, 27 Apr 2013 10:54:30 +0200 Subject: [PATCH] Clean up emacs config. --- emacs.el | 26 ++------------------------ 1 file changed, 2 insertions(+), 24 deletions(-) diff --git a/emacs.el b/emacs.el index 2e787bb..28c600e 100644 --- a/emacs.el +++ b/emacs.el @@ -1,24 +1,13 @@ (global-font-lock-mode 1) (show-paren-mode) -;(server-start) - -(let ((site-gentoo-el "/usr/share/emacs/site-lisp/site-gentoo.el")) - (if (file-exists-p site-gentoo-el) - (load-file site-gentoo-el))) (setq inferior-lisp-program "/usr/bin/sbcl") (if (fboundp 'slime-setup) (slime-setup)) (setq user-full-name "Gabriel Ebner" - user-mail-address "ge@gabrielebner.at" + user-mail-address "gebner@2b7e.org" - mail-host-address - (concat - (let (o) - (setq o (shell-command-to-string - "hostname")) - (substring o 0 (- (length o) 1))) - ".gabrielebner.at")) + mail-host-address "mail.2b7e.org") (autoload 'run-haskell "inf-haskell" "Start an inferior haskell buffer." t) @@ -26,8 +15,6 @@ (setq py-indent-offset 2) -(setq browse-url-browser-function #'browse-url-firefox) - (defun perltidy () "Run perltidy on current buffer." (interactive) @@ -52,12 +39,3 @@ (cons '("\\.ebuild\\'" . ebuild-mode) (cons '("\\.eclass\\'" . ebuild-mode) auto-mode-alist))) - -; Agda mode -(let ((agda-dir "/home/gebner/build/Agda2/src/full/Interaction/emacs-mode/")) - (if (file-exists-p agda-dir) - (progn - (add-to-list 'load-path agda-dir) - (autoload 'agda2-mode "agda2-mode" "Agda2 mode." t) - (add-to-list 'auto-mode-alist '("\\.l?agda$" . agda2-mode)) - (modify-coding-system-alist 'file "\\.l?agda$" 'utf-8))))