fichier de configuration ghci

J’utilise ghci 6.8.2 sur Ubuntu. Est-ce que ghci utilise un fichier de configuration où nous pouvons faire une configuration initiale? Par exemple:: :set prompt "ghci> " .

Avez-vous essayé d’append :set prompt "ghci> " à ~ / .ghci ?

Après avoir appliqué la réponse de @hvr, j’ai reçu l’avertissement suivant:

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

La solution est chmod gw ~/.ghci .