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

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

51
задан Aaron Hall 2 February 2017 в 04:23
поделиться