#1378: command line switch to disable ghci banner
--------------------------------+-------------------------------------------
Reporter: Eelis | Owner:
Type: feature request | Status: closed
Priority: low | Milestone: 6.8
Component: GHCi | Version: 6.6.1
Severity: trivial | Resolution: fixed
Keywords: | Difficulty: Easy (1 hr)
Os: Unknown | Testcase:
Architecture: Unknown |
--------------------------------+-------------------------------------------
Changes (by igloo):
* resolution: => fixed
* status: new => closed
Comment:
Thanks for the patch; I've applied it, but also changed it into a
dynamic flag (and moved some other code around a bit) so that we can
put ":set -short-ghci-banner" in .ghci.
Hopefully this is a good balance between people who like the warmth of
the banner (on the mailing list) and people who don't want the loss of
screen space.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1378>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
