Commit 38edeed4 authored by simonmar's avatar simonmar
Browse files

[project @ 2001-08-13 16:33:12 by simonmar]

document -ignore-dot-ghci and -read-dot-ghci
parent fa92604a
......@@ -947,7 +947,7 @@ Prelude> :set -fno-glasgow-exts
<sect1 id="ghci-dot-files">
<title>The <filename>.ghci</filename> file</title>
......@@ -977,6 +977,34 @@ Prelude> :set -fno-glasgow-exts
a static one, but in fact it works to set it using
<literal>:set</literal> like this. The changes won't take effect
until the next <literal>:load</literal>, though.)</para>
<para>Two command-line options control whether the
<filename>.ghci</filename> files are read:</para>
<para>Don't read either <filename>./.ghci</filename> or
<filename>$HOME/.ghci</filename> when starting up.</para>
<para>Read <filename>.ghci</filename> and
<filename>$HOME/.ghci</filename>. This is normally the
default, but the <option>-read-dot-ghci</option> option may
be used to override a previous
<option>-ignore-dot-ghci</option> option.</para>
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