On Fri, May 08, 2020 at 12:50:13PM -0400, Prarit Bhargava wrote:
On 5/7/20 7:32 PM, Prarit Bhargava wrote:
> On 5/6/20 3:55 PM, Jeremy Cline wrote:
>> On Wed, May 06, 2020 at 09:44:55AM -0400, Don Zickus wrote:
>>> On Wed, May 06, 2020 at 01:45:34PM +0200, Jiri Benc wrote:
>>>> On Wed, 6 May 2020 07:37:35 -0400, Prarit Bhargava wrote:
>>>>> Good idea and I think it would be a smart thing to do.
>>>>
>>>> I generally agree but I don't think "ark" is the best
option. The
>>>> kernels are used for Fedora, too, and they will be used for RHEL. We
>>>> should find a prefix that works for all of those kernels/distros.
>>>> I was trying to think of something but I could not find anything
>>>> suitable. It should be short (rules out "downstream") and
easily
>>>> remembered (rules out abbreviations for "downstream").
>>>
>>> I had the same opinion. As we migrated the redhat/ over directly from
RHEL,
>>> it is very much polluted with RHELisms. I am happy to clean up the
>>> RHELisms, I would like to use a generic term that covers
>>> Fedora/CentOS-stream/RHEL/ARK.
>>>
>>> I had thoughts of using 'distro' and using that as a generic
framework to
>>> push upstream for other distros to plug into, but I never fully flushed out
>>> that idea (ie s/redhat\//distro\//;s/rh-/distro-/).
>>>
>>> Though 'distro' is a tad cumbersome. 'os' may work as it is
short enough
>>> (using Prarit's suggestion) but is it intuitively descriptive enough?
>>>
>>
>> 'dist'? I like the shortness of os, but as you say it's not super
>> descriptive. I don't have strong feelings either way, though.
>
> dist would work too. jbenc? dzickus? Anyone else before I push a patch?
>
Since there isn't a strenuous objection to 'os' (although I do like
'dist' too),
I'm going to go with 'os' for the sake of brevity.
I will throw my hat in the ring for 'dist' over 'os'.
Cheers,
Don