GHCi: add 'local-config' setting
authorFraser Tweedale <frase@frase.id.au>
Wed, 10 Apr 2019 12:00:18 +0000 (22:00 +1000)
committerMarge Bot <ben+marge-bot@smart-cactus.org>
Mon, 15 Apr 2019 10:26:38 +0000 (06:26 -0400)
commitaa490b350b35a07495837e96d01137ed50915131
tree9ff5c0446d4cdbbcacd6a9e58080fef702588790
parent5c06b60d0e2e270c9ccacebb96ca0da4d0f4e6d9
GHCi: add 'local-config' setting

Add the ':set local-config { source | ignore }' setting to control
whether .ghci file in current directory will be sourced or not.  The
directive can be set in global config or $HOME/.ghci, which are
processed before local .ghci files.

The default is "source", preserving current behaviour.

Related: https://gitlab.haskell.org/ghc/ghc/issues/6017
Related: https://gitlab.haskell.org/ghc/ghc/issues/14250
ghc/GHCi/UI.hs