Last active
August 29, 2015 14:19
-
-
Save TakashiHarada/584a504a5fd21228404d to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
;; .emacs | |
;; for Haskell | |
(add-hook 'haskell-mode-hook 'haskell-indentation-mode) | |
;;; uncomment this line to disable loading of "default.el" at startup | |
;; (setq inhibit-default-init t) | |
;; enable visual feedback on selections | |
;(setq transient-mark-mode t) | |
;; default to better frame titles | |
(setq frame-title-format | |
(concat "%b - emacs@" (system-name))) | |
;; default to unified diffs | |
(setq diff-switches "-u") | |
;; always end a file with a newline | |
;(setq require-final-newline 'query) | |
;;; uncomment for CJK utf-8 support for non-Asian users | |
;; (require 'un-define) | |
;;; don't show start up message | |
(setq inhibit-startup-message t) | |
;;; do not make a auto backup file .txt~ | |
(setq make-backup-files nil) | |
;;; do not make a auto save file #.txt | |
(setq auto-save-default nil) | |
;; print time | |
(setq display-time-day-and-date t) | |
(setq display-time-24hr-format t) | |
(display-time-mode t) | |
;; print row number | |
(require 'linum) | |
(global-linum-mode) | |
;; print column number | |
(column-number-mode t) | |
;; remove scrollbar | |
(scroll-bar-mode -1) | |
;; remove toolbar | |
(tool-bar-mode -1) | |
;; remove menubar | |
(menu-bar-mode -1) | |
;; mew | |
(setq load-path (cons "/usr/local/share/emacs/site-lisp/mew/" load-path)) | |
(autoload 'mew "mew" nil t) | |
(autoload 'mew-send "mew" nil t) | |
;; Egg/Wnn7 | |
;(setq wnn7-server-name "localhost") | |
;(set-language-environment "Japanese") | |
;(setq default-input-method "japanese-egg-wnn") | |
; | |
(setq process-coding-system-alist | |
(cons '("gosh" utf-8 . utf-8) process-coding-system-alist)) | |
(setq scheme-program-name "/usr/local/bin/gosh -i") | |
(autoload 'scheme-mode "cmuscheme" "Major mode for Scheme." t) | |
(autoload 'run-scheme "cmuscheme" "Run an inferior Scheme process." t) | |
(defun scheme-other-window () | |
"Run Gauche on other window" | |
(interactive) | |
(split-window-horizontally (/ (frame-width) 2)) | |
(let ((buf-name (buffer-name (current-buffer)))) | |
(scheme-mode) | |
(switch-to-buffer-other-window | |
(get-buffer-create "*scheme*")) | |
(run-scheme scheme-program-name) | |
(switch-to-buffer-other-window | |
(get-buffer-create buf-name)))) | |
(define-key global-map | |
"\C-cG" 'scheme-other-window) | |
(custom-set-variables | |
;; custom-set-variables was added by Custom. | |
;; If you edit it by hand, you could mess it up, so be careful. | |
;; Your init file should contain only one such instance. | |
;; If there is more than one, they won't work right. | |
'(agda2-include-dirs (quote ("/home/harada/.cabal/agda-stdlib-0.9/src" "./"))) | |
'(package-archives (quote (("gnu" . "http://elpa.gnu.org/packages/") ("melpa-stable" . "http://stable.melpa.org/packages/"))))) | |
(custom-set-faces | |
;; custom-set-faces was added by Custom. | |
;; If you edit it by hand, you could mess it up, so be careful. | |
;; Your init file should contain only one such instance. | |
;; If there is more than one, they won't work right. | |
) | |
(load-file (let ((coding-system-for-read 'utf-8)) | |
(shell-command-to-string "agda-mode locate"))) |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment