Re: info mode header line missing title

[Andreas Schwab]

"Eli Zaretskii" <eliz@gnu.org> writes:

> Please show some statistics to back up this assertion.  In my
> experience, a large percent of Info nodes have long names so that the
> header line overflows the 79-character limit.

I can confirm this.  On my system more than 50% of the Info nodes would
overflow the limit if the node name would be included in the header line.
Without it, only about 10% remain.

$ zgrep -h '^File: .*Node:' *.gz | wc -l
16965
$ zgrep -h '^File: .*Node:' *.gz | sed -n 's/^[^,]*, *//; /.\{80,\}/p' | wc -l
9133
$ zgrep -h '^File: .*Node:' *.gz | sed -n 's/^[^,]*,[^,]*, *//; /.\{80,\}/p' | 
wc -l
2094

Andreas.

-- 
Andreas Schwab, SuSE Labs, schwab@suse.de
SuSE Linux AG, Maxfeldstraße 5, 90409 Nürnberg, Germany
Key fingerprint = 58CA 54C7 6D53 942B 1756  01D3 44D5 214B 8276 4ED5
"And now for something completely different."