[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Use of "?" for help has been deprecated for 8 years, can we drop it?
|
From: |
Christian Borntraeger |
|
Subject: |
Re: Use of "?" for help has been deprecated for 8 years, can we drop it? |
|
Date: |
Thu, 1 Oct 2020 17:23:20 +0200 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.12.0 |
On 01.10.20 13:20, Peter Maydell wrote:
> On Thu, 1 Oct 2020 at 11:35, Markus Armbruster <armbru@redhat.com> wrote:
>>
>> We deprecated "?" more than eight years ago. We didn't have a
>> deprecation process back then, but we did purge "?" from the
>> documentation and from help texts. Can we finally drop it?
>
> Is it really that terrible a burden to support having an
> alias for 'help' ?
I agree. Having the "?" is really convenient.
- Use of "?" for help has been deprecated for 8 years, can we drop it?, Markus Armbruster, 2020/10/01
- Re: Use of "?" for help has been deprecated for 8 years, can we drop it?, Thomas Huth, 2020/10/01
- Re: Use of "?" for help has been deprecated for 8 years, can we drop it?, Peter Maydell, 2020/10/01
- Re: Use of "?" for help has been deprecated for 8 years, can we drop it?,
Christian Borntraeger <=
- Re: Use of "?" for help has been deprecated for 8 years, can we drop it?, Eric Blake, 2020/10/01