On 5/30/2018 02:04, Marty E. Plummer wrote:
> On Wed, May 30, 2018 at 10:42:27AM +0800, Clark Wang wrote:
>> On Wed, May 30, 2018 at 8:25 AM, Marty E. Plummer
>> wrote:
>>
If people are willing to do the conversion between patch formats for
>>> their
own purposes, more power to them. I d
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.
System information:
Operating System: Ubuntu 16.04 LTS
Terminal: GNOME Terminal 3.18.3
Cheers,
Jefgeni
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:
$ ./bash --version
GNU bash, version 4.4.23
On 3 June 2018 at 09:54, Chet Ramey 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 fin
On 6/2/18 8:15 PM, David Margerison wrote:
> It looks like if an extra four leading spaces were added to that line,
> then it would correctly align always.
>
> I hope this helps :)
Sure. Bash-4.3 is years old. I showed the current version.
--
``The lyf so short, the craft so long to lerne.''
