On 1/7/19 11:24 AM, Pavel Machek wrote: > 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[1] >>> 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...) > > Pavel After finding the rest of the thread, and thinking further, I don't think the easiest change is the correct change. Ease of search is much more than just grep of the kernel source, it is also web search engines. I think that the extra effort of "devicetree" is worth while in the long run. But I don't see a need to do an immediate global change - it can happen either slowly over time or quickly as people choose to submit patches. -Frank
