Re: Consistent capitalization of "device tree"?

2019-01-07 Thread Frank Rowand
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:/da

Re: Consistent capitalization of "device tree"?

2019-01-07 Thread Frank Rowand
On 1/7/19 10:45 AM, Rob Herring wrote: > On Mon, Jan 7, 2019 at 12:37 PM 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 >>

Re: Consistent capitalization of "device tree"?

2019-01-07 Thread Pavel Machek
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"

Re: Consistent capitalization of "device tree"?

2019-01-07 Thread Frank Rowand
+ 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 cons

Re: Consistent capitalization of "device tree"?

2019-01-07 Thread Rob Herring
On Mon, Jan 7, 2019 at 12:37 PM 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

Re: Consistent capitalization of "device tree"?

2019-01-07 Thread Matthew Wilcox
On Mon, Jan 07, 2019 at 07:37:11PM +0100, 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 You missed ... $ git grep -r "Device

Consistent capitalization of "device tree"?

2019-01-07 Thread Pavel Machek
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