Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > gnu.bash.bug > #14207 > unrolled thread

Re: suggestion for improvement - help pwd

Back to article view | Back to gnu.bash.bug

This discussion starts older than the indexed window; earlier articles aren't shown. The article labeled Started by below is the oldest one visible, not the original post.

Contents

  Re: suggestion for improvement - help pwd David Margerison <deltam@electrosonics.com.au> - 2018-06-03 10:15 +1000

#14207 — Re: suggestion for improvement - help pwd

On 3 June 2018 at 09:54, Chet Ramey <chet.ramey@case.edu> wrote:
> On 6/2/18 2:19 PM, jefgeni@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 :)

[toc] | [standalone]

Back to top | Article view | gnu.bash.bug

csiph-web