[m-rev.] for review: all --search-all option

[Peter Wang]

On 2006-09-19, Zoltan Somogyi <zs at csse.unimelb.edu.au> wrote:
> On 19-Sep-2006, Peter Wang <wangp at students.csse.unimelb.edu.au> wrote:
> > 	Add `--search-all <directory>' option which is
> >         equivalent to adding <directory> using all of the
> >         `--search-directory', `--library-directory',
> >         `--init-file-directory' and `--c-include-directory' options.
> 
> I think this kind of option is a good idea, but I don't think the name
> --search-all conveys its meaning. Something like --search-dir-for-all-files
> would be more accurate.

How about --search-all-files-directory, with the usual -dir alias, to
follow the existing pattern?

Peter

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------