Re: [PULL 27/29] vl: deprecate -writeconfig

[Paolo Bonzini]

On 01/03/21 15:54, Markus Armbruster wrote:
>      warning: -writeconfig foo: -writeconfig is deprecated without replacement
>
>      warning: -writeconfig foo: option is deprecated; there is no replacement

Hmm I don't know.  I like the brevity, but I find it to be less 
user-friendly.  And the "it" and "this option" sound wrong on a separate 
line.  Maybe it's just me.

Paolo

> Properly guarded, we could have something like
>
>     warning: -writeconfig foo: option -writeconfig is deprecated
>     This option will go away with no replacement.
>
> I'm glad you like &error_fatal, too!  I have had to defend it a few
> times