archivo de configuración ghci
Estoy usando ghci 6.8.2 en Ubuntu. ¿Ghci usa un archivo de configuración donde podamos hacer alguna configuración inicial?. Por ejemplo: :set prompt "ghci> ".
51
Author: Aaron Hall, 2010-08-02
2 answers
Has intentado añadir :set prompt "ghci> " a ~/.ghci ?
71
Author: hvr,
Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/agent_stack/data/www/ajaxhispano.com/template/agent.layouts/content.php on line 61
2010-10-19 12:06:18
Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/agent_stack/data/www/ajaxhispano.com/template/agent.layouts/content.php on line 61
2010-10-19 12:06:18
Después de aplicar la respuesta de @ hvr recibí la siguiente advertencia:
*** WARNING: ~/.ghci is writable by someone else, IGNORING!
La solución es chmod g-w ~/.ghci.
44
Author: sjakobi,
Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/agent_stack/data/www/ajaxhispano.com/template/agent.layouts/content.php on line 61
2013-07-14 03:05:21
Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/agent_stack/data/www/ajaxhispano.com/template/agent.layouts/content.php on line 61
2013-07-14 03:05:21