BUG: ls -ld directory/

[G C McNeil-Watson]

If you do an

 ls -ld directory/

for some existing directory then the output contains TWO trailling
slashes:

 drwx------  2 pypgcm users 4096 Aug 16  2005 directory//

The directory and the first slash appear in blue on my terminal, trailing
slash in black. Piping through something else does not supress the double
slash. This does not happen if you produce the same entry using:

 ls -ld directory

or:

 ls -l

and pick out the appopriate entry. I believe this is a bug.

Thanks,

--
Graham McNeil-Watson
University of Bath