Skip to content

Instantly share code, notes, and snippets.

@TakashiHarada
Last active August 29, 2015 14:19
Show Gist options
  • Save TakashiHarada/584a504a5fd21228404d to your computer and use it in GitHub Desktop.
Save TakashiHarada/584a504a5fd21228404d to your computer and use it in GitHub Desktop.
;; .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