ghci configuration file
I'm using ghci 6.8.2 on Ubuntu. Does ghci use a configuration file where we can do some initial setup?. E.g.: :set prompt "ghci> "
.
Have you tried adding :set prompt "ghci> "
to ~/.ghci?
Having applied @hvr's answer I got the following warning:
*** WARNING: ~/.ghci is writable by someone else, IGNORING!
The solution is chmod g-w ~/.ghci
.
In my ~/.ghci
configuration file. I have the following line:
:set prompt "\ESC[0;34m\STX%s\n\ESC[1;31m\STXλ> \ESC[m\STX"
And here is how my ghci
prompt looks like:
https://asciinema.org/a/Tpk5430dPqCRN0cFqi1ucaCb8
In that config file, I temporarily commented out :set +m
.