What filename to put startup repl commands in?

Question

jstr045329 opened this issue 5 years ago · 2 comments

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?

Answer 1 · 2019-01-15T17:35:07.000Z

It's ~/.eta-repl. Leaving this open as reminder that this should be in the docs.

Answer 2 · 2019-01-16T00:42:25.000Z

I did that and still do not get the desired prompt. Is it possible the file belongs in a different directory?