On 3 June 2018 at 09:54, Chet Ramey <chet.ra...@case.edu> wrote: > On 6/2/18 2:19 PM, jefg...@protonmail.com wrote: >> Dear Sir or Madam, >> >> I'd like to make a somewhat meticulous suggestion for improvement in the >> output of 'help pwd'. >> On line 6, the word 'directory' is not properly indented. > > It looks fine to me:
And it looks broken to me. I tested on $ echo $BASH_VERSION 4.3.30(1)-release interactively, and then by running this command $ help pwd >filename Viewing the created file in an editor that makes tab and space characters individually visible reveals that the line in question is indented using a mixture of spaces and tabs. Whereas every other line is indented by space characters only. So in many situations, affected by font and tab-width settings, the line 6 will therefore fail to match the indentation of the other lines. It looks like if an extra four leading spaces were added to that line, then it would correctly align always. I hope this helps :)
