From fc37ae8773134490b0a4f455c3204f182a048877 Mon Sep 17 00:00:00 2001
From: Peter Minten <peter.minten@online.nl>
Date: Tue, 20 Nov 2012 11:27:04 +0100
Subject: [PATCH 2/2] Document whitelist/blacklist for .ghci files. (#6017)
---
docs/users_guide/ghci.xml | 19 +++++++++++++++++++
1 file changed, 19 insertions(+)
diff --git a/docs/users_guide/ghci.xml b/docs/users_guide/ghci.xml
index 9e8ea2f..dc05298 100644
|
a
|
b
|
|
| 3162 | 3162 | <literal>:set</literal> like this. The changes won't take effect |
| 3163 | 3163 | until the next <literal>:load</literal>, though.)</para> |
| 3164 | 3164 | |
| | 3165 | <para>It is possible to execute shell commands in |
| | 3166 | <filename>.ghci</filename> files. Because this can be a security |
| | 3167 | risk GHCi will ask you if you want to execute a |
| | 3168 | <filename>.ghci</filename> file from the current directory, unless |
| | 3169 | the current directory is your home directory or you've explicitely |
| | 3170 | asked for the script file to be executed. Your answer will be stored in |
| | 3171 | <filename>ghci_whitelist</filename> or |
| | 3172 | <filename>ghci_blacklist</filename> in the |
| | 3173 | <literal><replaceable>appdata</replaceable>/ghc</literal> dir |
| | 3174 | (<literal>$HOME/.ghc</literal> on Unix).</para> |
| | 3175 | |
| | 3176 | <para>When evaluating expressions using <literal>ghc –e</literal> |
| | 3177 | any <filename>.ghci</filename> files will be loaded as if GHCi was invoked |
| | 3178 | except that the blacklist/whitelist mechanism will not inform you if |
| | 3179 | a <filename>.ghci</filename> file was blacklisted and will not ask you |
| | 3180 | for permission to execute an unknown <filename>.ghci</filename> file. |
| | 3181 | Unknown <filename>.ghci</filename> are treated as if they are |
| | 3182 | blacklisted (i.e. they are ignored).</para> |
| | 3183 | |
| 3165 | 3184 | <para>Once you have a library of GHCi macros, you may want |
| 3166 | 3185 | to source them from separate files, or you may want to source |
| 3167 | 3186 | your <filename>.ghci</filename> file into your running GHCi |
