Skip to content

Instantly share code, notes, and snippets.

@cosmo0920
Created October 5, 2012 22:56
Show Gist options
  • Save cosmo0920/3842938 to your computer and use it in GitHub Desktop.
Save cosmo0920/3842938 to your computer and use it in GitHub Desktop.
Prefixのghciとシステムのghciを切り替える
;; Prefixのghciとシステムのghciを切り替える
(when (locate-library "haskell-mode")
(global-set-key "\C-\M-h"
(lambda () (interactive)
(setq haskell-program-name "~/gentoo/usr/bin/ghci")
(message "ghci change to ~/gentoo/usr/bin/ghci")))
(global-set-key "\C-\M-c"
(lambda () (interactive)
(setq haskell-program-name "/usr/bin/ghci")
(message "ghci change to /usr/bin/ghci"))))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment