Ticket #6017: 0002-Document-whitelist-blacklist-for-.ghci-files.-6017.patch

File 0002-Document-whitelist-blacklist-for-.ghci-files.-6017.patch, 1.9 KB (added by pminten, 3 years ago)
  • docs/users_guide/ghci.xml

    From fc37ae8773134490b0a4f455c3204f182a048877 Mon Sep 17 00:00:00 2001
    From: Peter Minten <[email protected]>
    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 warning settings: 
    31623162    <literal>:set</literal> like this.  The changes won't take effect 
    31633163    until the next <literal>:load</literal>, though.)</para> 
     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> 
     3176    <para>When evaluating expressions using <literal>ghc &ndash;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> 
    31653184    <para>Once you have a library of GHCi macros, you may want 
    31663185    to source them from separate files, or you may want to source 
    31673186    your <filename>.ghci</filename> file into your running GHCi