ghci configuration file April 23, 2023 by Tarik Have you tried adding :set prompt "ghci> " to ~/.ghci?