Re: "cd //" isn't the same as "cd /" or "cd ///"

[Pierre Gaston]

On Fri, Aug 3, 2012 at 6:32 AM, Noah Spurrier <noah@noah.org> wrote:

> Configuration Information [Automatically generated, do not change]:
> Machine: x86_64
> OS: linux-gnu
> Compiler: gcc
> Compilation CFLAGS:  -DPROGRAM='bash' -DCONF_HOSTTYPE='x86_64'
> -DCONF_OSTYPE='linux-gnu' -DCONF_MACHTYPE='x86_64-pc-linux-gnu'
> -DCONF_VENDOR='pc' -DLOCALEDIR='/usr/share/locale' -DPACKAGE='bash'
> -DSHELL -DHAVE_CONFIG_H   -I.  -I../bash -I../bash/include
> -I../bash/lib  -D_FORTIFY_SOURCE=2 -g -O2 -fstack-protector
> --param=ssp-buffer-size=4 -Wformat -Wformat-security
> -Werror=format-security -Wall
> uname output: Linux se 3.2.0-26-generic #41-Ubuntu SMP Thu Jun 14
> 17:49:24 UTC 2012 x86_64 x86_64 x86_64 GNU/Linux
> Machine Type: x86_64-pc-linux-gnu
>
> Bash Version: 4.2
> Patch Level: 24
> Release Status: release
>
> Description:
>
>     Executing `cd //` will put you in the root directory as expected;
>     however executing `pwd` will report "//" as your working directory.
>

see E10 http://tiswww.case.edu/php/chet/bash/FAQ