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

[Julien Fischer]

On Wed, 20 Sep 2006, Peter Wang wrote:

> 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?
>


How about --search-lib-files-{directory, dir}?  I think the option
name should mention libraries - that was the point of it.

Julien.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------