Re: Consistent capitalization of "device tree"?
From: Pavel Machek
Date: Mon Jan 07 2019 - 14:25:03 EST
On Mon 2019-01-07 11:06:27, Frank Rowand wrote:
> + Frank
> On 1/7/19 10:37 AM, Pavel Machek wrote:
> > Is it "Device Tree" or "device tree"?
> > pavel@duo:/data/l/k/Documentation$ grep -r "Device Tree" | wc -l
> > 235
> > pavel@duo:/data/l/k/Documentation$ grep -r "device tree" | wc -l
> > 595
> > I guess it would be nice to make it consistent. I guess "device tree"
> > is preffered?
> > Should we do something like this?
> > Pavel
> > Signed-off-by: Pavel Machek <pavel@xxxxxx>
> > diff --git a/Documentation/devicetree/overlay-notes.txt b/Documentation/devicetree/overlay-notes.txt
> > index 725fb8d..cc5f507 100644
> > --- a/Documentation/devicetree/overlay-notes.txt
> > +++ b/Documentation/devicetree/overlay-notes.txt
> > @@ -8,7 +8,7 @@ companion document to Documentation/devicetree/dynamic-resolution-notes.txt
> > How overlays work
> > -----------------
> > -A Device Tree's overlay purpose is to modify the kernel's live tree, and
> > +A device tree's overlay purpose is to modify the kernel's live tree, and
> > have the modification affecting the state of the kernel in a way that
> > is reflecting the changes.
> > Since the kernel mainly deals with devices, any new device node that result
> Not a strong opinion, but I would prefer a third option of devicetree. That
> makes it much easier to search for.
That one is much less popular at the moment -- according to my
searches... so it would be a bigger change.
(Which I'll gladly support if I won't have to do the work... as long
as it is consistent. But I believe that "device tree" is most common
here, makes sense, and is easiest change, so...)
(cesky, pictures) http://atrey.karlin.mff.cuni.cz/~pavel/picture/horses/blog.html
Description: Digital signature