-
-
Save shajra/d383179fbf260b4e5978 to your computer and use it in GitHub Desktop.
Using ghcid inside of emacs
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
Pieces you need: | |
* emacs | |
* ghcid | |
ghcid needs to know the height of the terminal, we'll set it explicitly | |
height = (window-height) - (scroll-margin) - 1 | |
set this height as your term-buffer-maximum-size | |
(setq term-buffer-maximum-size XXX) | |
Start an ansi-term session using bash | |
SPC-' | |
run ghcid with this height, in your project root | |
ghcid -c "cabal repl" -h HEIGHT | |
turn on compilation-minor-mode in the buffer | |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment