plik konfiguracyjny ghci
[1]}używam ghci 6.8.2 na Ubuntu. Czy ghci używa pliku konfiguracyjnego, w którym możemy wykonać wstępną konfigurację?. Np.: :set prompt "ghci> "
.
51
Author: Aaron Hall, 2010-08-02
2 answers
Czy próbowałeś dodać :set prompt "ghci> "
do ~/.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/doraprojects.net/template/agent.layouts/content.php on line 54
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/doraprojects.net/template/agent.layouts/content.php on line 54
2010-10-19 12:06:18
Po zastosowaniu odpowiedzi @hvr otrzymałem następujące ostrzeżenie:
*** WARNING: ~/.ghci is writable by someone else, IGNORING!
Rozwiązaniem jest 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/doraprojects.net/template/agent.layouts/content.php on line 54
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/doraprojects.net/template/agent.layouts/content.php on line 54
2013-07-14 03:05:21