diff options
author | Fraser Tweedale <frase@frase.id.au> | 2019-04-10 22:00:18 +1000 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-04-15 06:26:38 -0400 |
commit | aa490b350b35a07495837e96d01137ed50915131 (patch) | |
tree | 9ff5c0446d4cdbbcacd6a9e58080fef702588790 /compiler/codeGen | |
parent | 5c06b60d0e2e270c9ccacebb96ca0da4d0f4e6d9 (diff) | |
download | haskell-aa490b350b35a07495837e96d01137ed50915131.tar.gz |
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
Diffstat (limited to 'compiler/codeGen')
0 files changed, 0 insertions, 0 deletions