id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,os,architecture,failure,difficulty,testcase,blockedby,blocking,related
1378,command line switch to disable ghci banner,Eelis,,"There really should be a ghci command line switch to disable the obnoxious, space-wasting (it consumes a quarter of my standard 80x25 terminal), and frankly smug, ascii-art banner it shows on startup. -v0 kills it, but kills other output as well.",feature request,closed,low,6.8.1,GHCi,6.6.1,fixed,,,Unknown/Multiple,Unknown/Multiple,,Easy (less than 1 hour),,,,