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, 5 years ago)
  • docs/users_guide/ghci.xml

    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 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