[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: |
Peter Maydell |
|
Subject: |
Re: Use of "?" for help has been deprecated for 8 years, can we drop it? |
|
Date: |
Thu, 1 Oct 2020 12:20:24 +0100 |
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' ?
thanks
-- PMM