Re: Consistent capitalization of "device tree"?
From: Frank Rowand
Date: Mon Jan 07 2019 - 14:06:32 EST
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
> pavel@duo:/data/l/k/Documentation$ grep -r "device tree" | wc -l
> I guess it would be nice to make it consistent. I guess "device tree"
> is preffered?
> Should we do something like this?
> 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.