Конфигурационный файл ghci

Я использую ghci 6.8.2 на Ubuntu. Использует ли ghci конфигурационный файл, где мы можем выполнить начальную настройку?. Например: :set prompt "ghci> ".

Ответы

Ответ 1

Вы пробовали добавить :set prompt "ghci> " в ~/.ghci?

Ответ 2

Применив ответ @hvr, я получил следующее предупреждение:

*** WARNING: ~/.ghci is writable by someone else, IGNORING!

Решение chmod g-w ~/.ghci.