[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: |
Kevin Wolf |
|
Subject: |
Re: Use of "?" for help has been deprecated for 8 years, can we drop it? |
|
Date: |
Thu, 1 Oct 2020 17:45:50 +0200 |
Am 01.10.2020 um 17:23 hat Christian Borntraeger geschrieben:
>
>
> 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.
If people actually care about "?", can one of you send a patch to remove
the comment that declares it deprecated?
Kevin