What filename to put startup repl commands in?
jstr045329 opened this issue · 2 comments
jstr045329 commented
Description
When I type this into the REPL:
:set prompt "\ESC[34mλ> \ESC[m"
I get a nice purple lambda prompt.
For ghci, you put that command in ~/.ghci and the REPL will run the commands in that file on startup.
What is the equivalent for Eta?
rahulmutt commented
It's ~/.eta-repl. Leaving this open as reminder that this should be in the docs.
jstr045329 commented
I did that and still do not get the desired prompt. Is it possible the file belongs in a different directory?