Re: FW: Issue in gitbash changing directory
- Date: Tue, 18 Apr 2017 18:53:30 +0200
- From: Kevin Daudt <me@xxxxxxxxx>
- Subject: Re: FW: Issue in gitbash changing directory
On Tue, Apr 18, 2017 at 12:48:09PM +0000, Bonk, Gregory wrote:
> I accidently typed 'cd //' and it worked.
> gbonk@ICC11167 MINGW64 /c/git/mtb-messagehub-information-radiator (master)
> $ cd //
> gbonk@ICC11167 MINGW64 //
> $ cd ..
This has very little to do with git, but more with bash (the shell that
is interpretting the command. From a bash FAQ :
> E10) Why does `cd //' leave $PWD as `//'?
> POSIX.2, in its description of `cd', says that *three* or more leading
> slashes may be replaced with a single slash when canonicalizing the
> current working directory.
> This is, I presume, for historical compatibility. Certain versions of
> Unix, and early network file systems, used paths of the form
> //hostname/path to access `path' on server `hostname'.
So this is kind of intentional.