[debian-users:51084] Re: bsah で cd //

["KAWABE,Tsuyoshi" <tkawabe@xxxxxxxxx>]

川辺です．

武藤＠Debianぷろじぇくとさん，吉田 充＠横浜チーム.情報基盤センター.理化学研究所さん
情報ありがとうございます．

mitsuru@xxxxxxxxxxxxxxxx さんは書きました (2008/09/30 13:34):
>> 偶然 typo して気づいたのですが，bash で cd // とすると，
>> $PWD が // となります．
>> これは私だけ？ そういう仕様？ バグ？
>> ご存知の方，居られますでしょうか？
>> // ってどんな使い方があるか等あれば教えて頂けると幸いです．
> bash の source の doc/FAQ もしくは、ftp://ftp.cwru.edu/pub/bash/FAQ
> の E10) に、
> 
> ========================================================================
> 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'.
> ========================================================================
> 
> とありますね。

吉田さん情報ありがとうございます．FAQ だったんですね．

歴史的経緯からの互換のための仕様で //hostname/path って使い方が
あったとは．pwd も builtin の pwd だけが // になるようです．
勉強になりました．どうもありがとうございます．