Commit a6af61e0 authored by Ian Lynagh's avatar Ian Lynagh
Browse files

Correct user guide on when .ghci is read

parent 2df369da
......@@ -2424,9 +2424,10 @@ Prelude> :set -fno-glasgow-exts
<indexterm><primary>startup</primary><secondary>files, GHCi</secondary>
</indexterm>
<para>When it starts, GHCi always reads and executes commands from
<filename>$HOME/.ghci</filename>, followed by
<filename>./.ghci</filename>.</para>
<para>When it starts, unless the <literal>-ignore-dot-ghci</literal>
flag is given, GHCi reads and executes commands from
<filename>./.ghci</filename>, followed by
<filename>$HOME/.ghci</filename>.</para>
<para>The <filename>.ghci</filename> in your home directory is
most useful for turning on favourite options (eg. <literal>:set
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment