On 7/19/23 1:44 PM, Grisha Levit wrote:
On Wed, Jul 19, 2023 at 12:57 PM Grisha Levit <grishale...@gmail.com> wrote:
Also I think this is not a bug -- readline is asked to append a slash
to directory names and it does so.

It's easy enough to avoid printing the indicator slash if we just
printed a path already ending in a slash.  It's an improvement
cosmetically but I think correctness can be argued either way.

It's cosmetic only. Multiple non-leading slashes in a pathname are
equivalent to a single slash. The only exception is when there are
exactly two leading slashes.

https://pubs.opengroup.org/onlinepubs/9699919799/basedefs/V1_chap03.html#tag_03_271

--
``The lyf so short, the craft so long to lerne.'' - Chaucer
                 ``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, UTech, CWRU    c...@case.edu    http://tiswww.cwru.edu/~chet/


Reply via email to