Andre Robatino <robatino <at> fedoraproject.org> writes:
More generally, it happens for anything like "//usr/bin" as
well - you end up
in the expected directory, but "echo $PWD" shows the double slash.
It also persists if you then cd using a relative path. The double slash in $PWD
won't go away unless you cd using an absolute path.