On Mon, 17 Dec 2018 07:25:00 +1100 John Gardner <gardnerjo...@gmail.com> wrote:
> Plus it's easier to search for a section name if you know in advance > it'll always be in uppercase True then and true now. Look at the bash manual. EXPANSION is a section; Brace Expansion a subsection. Looking for "expansion" insensitive to case is tedious: $ man bash | tr \ \\n | grep -ci expansion man: Formatting manual page... 235 The bash manual may be the single best object lesson in why less(1) is a good viewer, convenient in many ways, but suboptimal because it gives the user no structural document navigation. --jkl
