ports/64415: make in ports stopped by ASCII GUI

[Oliver Eikemeier]

Vlad Manilici wrote:

> Hi Oliver,
> 
>> "PR 64233 will use default options when build with BATCH=yes."
>>Does this solve your problem?
> 
>>There is interest. PR 63682 does use default options (always) when
>>PACKAGE_BUILDING is set. PR 64233 uses saved options, but defaults
>>to the default configuration without popping up a preferences dialog
>>when BATCH is set.
> 
> Sorry, it seems either of us does not get the point. I would like to
> have the ports build without GUI options selection *by default*. That
> means, when setting *nothing*, as the average user does.

I got the point. In fact, son-of-PR 64233 has a variable (DISABLE_CONFIG,
I'm not exactly sure), which you can set in /etc/make.conf when you want
default options by default.

> Definitely, you have shown me a valid way invalidate option selection.

Ehm, sorry?

> Now, of course I do not know if there is interest in the above default
> behaviour.

Try it. Post a patch.

> Did I make myself clear sofar?

Sofar, sogood. I guess it would be much clearer if we had a prototype
patch to see clearly what you have in mind. Be aware though, that
OPTIONS handling is not as easy as it seems.

-Oliver