|
From: | Paolo Bonzini |
Subject: | Re: [PULL 27/29] vl: deprecate -writeconfig |
Date: | Mon, 1 Mar 2021 16:05:00 +0100 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.7.0 |
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 fewtimes
[Prev in Thread] | Current Thread | [Next in Thread] |