|
| From: | Chet Ramey |
| Subject: | Re: slash appended to tab so its two // at end |
| Date: | Mon, 24 Jul 2023 13:30:22 -0400 |
| User-agent: | Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:102.0) Gecko/20100101 Thunderbird/102.13.0 |
On 7/19/23 1:44 PM, Grisha Levit wrote:
On Wed, Jul 19, 2023 at 12:57 PM Grisha Levit <grishalevit@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 chet@case.edu http://tiswww.cwru.edu/~chet/
| [Prev in Thread] | Current Thread | [Next in Thread] |