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

Question

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

Answer 1

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

Answer 2

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

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

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

Answer 3

В моем ~/.ghci файле конфигурации.У меня есть следующая строка:

:set prompt "\ESC[0;34m\STX%s\n\ESC[1;31m\STXλ> \ESC[m\STX"

И вот как выглядит мое приглашение ghci:

https://asciinema.org/a/Tpk5430dPqCRN0cFqi1ucaCb8

В этомКонфигурационный файл я временно закомментировал :set +m.