Я использую ghci 6.8.2 на Ubuntu. Использует ли ghci конфигурационный файл, где мы можем выполнить начальную настройку?. Например: :set prompt "ghci> ".
Конфигурационный файл ghci
Ответ 1
Вы пробовали добавить :set prompt "ghci> " в ~/.ghci?
Ответ 2
Применив ответ @hvr, я получил следующее предупреждение:
*** WARNING: ~/.ghci is writable by someone else, IGNORING!
Решение chmod g-w ~/.ghci.