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

Groups > gnu.bash.bug > #14207

Re: suggestion for improvement - help pwd

Show all headers | View raw

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 :)

Back to gnu.bash.bug | Previous | Next | Find similar | Unroll thread

Thread

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

csiph-web