[Hugs-users] library directory

[Ross Paterson]

On Sun, Jun 10, 2007 at 09:49:00AM -0400, Ian Zimmerman wrote:
> Ross> hugs -q </dev/null | 
> Ross> sed -n '11s at .*"\(.*\)/packages/base/Prelude.hs":@\1 at p'
> 
> What does the -q do?  It is not mentioned either in the manpage or in
> the manual.

It is in the manpage and section 3.1.2 of the User's Guide, but
you have to remember that Hugs toggle options come in +/- pairs:
+q (the default) loads modules quietly; -q doesn't.