[PATCH v0 2/3] gas: add new command line options to control diagnostic info messages

[Richard Earnshaw (lists)]

On 28/06/2024 14:35, Jan Beulich wrote:
> On 28.06.2024 15:12, Richard Earnshaw (lists) wrote:
>> On 28/06/2024 13:38, Jan Beulich wrote:
>>
>>> (Whether "infos" is a valid word in English I'm not sure; my spell
>>> checker doesn't like it at least, yet then I'm not a native speaker.)
>>
>> It's not really a word, but then info isn't really a word either, it's a short-hand version of information (and the plural of this is still information).
>>
>> But on the same subject, warns as a plural isn't a word either; but it is a word because it is a conjugate form of the verb 'to warn' so a spelling chequer (sic) won't pick that up.  If we're going to be pedantic we should use no_warnings, not no_warns.
> 
> Just to mention it: It's --no-warn (command line option) and
> flag_no_warnings (internal variable). Hence why I'm a little unhappy
> with --no-infos / flag_no_infos.
> 
> Jan

Yeah, --no-info and flag_no_info would be more idiomatic.

R.