Fraser Tweedale authored Apr 10, 2019 and Marge Bot committed Apr 15, 2019

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: ghc/ghc#6017
Related: ghc/ghc#14250