г файл конфигурации


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

2   51   2010-08-02 17:36:17

2 ответа:

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

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

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

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