diff options
| author | Sam Anklesaria <amsay@amsay.net> | 2011-06-19 17:36:07 -0500 |
|---|---|---|
| committer | Ian Lynagh <igloo@earth.li> | 2011-06-26 22:24:12 +0100 |
| commit | 991f141989940c897cb2fc3dba7b5b49342d402a (patch) | |
| tree | 34d666df6354c99c31bc6bcb281b64c31990cbb2 /docs | |
| parent | 8023014ecf192381ffba4b60a3dd21630e5c1d18 (diff) | |
| download | haskell-991f141989940c897cb2fc3dba7b5b49342d402a.tar.gz | |
trac #5265 (support for additional .ghci files)
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/flags.xml | 6 | ||||
| -rw-r--r-- | docs/users_guide/ghci.xml | 4 |
2 files changed, 10 insertions, 0 deletions
diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index 43c713e119..7ef9e80045 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -487,6 +487,12 @@ <entry>-</entry> </row> <row> + <entry><option>-ghci-script</option></entry> + <entry>Load the given additional <filename>.ghci</filename> file</entry> + <entry>static</entry> + <entry>-</entry> + </row> + <row> <entry><option>-read-dot-ghci</option></entry> <entry>Enable reading of <filename>.ghci</filename> files</entry> <entry>static</entry> diff --git a/docs/users_guide/ghci.xml b/docs/users_guide/ghci.xml index 72481eb24f..62522e855b 100644 --- a/docs/users_guide/ghci.xml +++ b/docs/users_guide/ghci.xml @@ -2872,6 +2872,10 @@ Prelude> :set -fno-glasgow-exts </varlistentry> </variablelist> + <para>Additional <filename>.ghci</filename> files can be added + through the <option>-ghci-script</option> option. These are + loaded after the normal <filename>.ghci</filename> files.</para> + </sect1> <sect1 id="ghci-obj"> |