>>215
>> //は/と同一で問題無し。
>これは python or bash が吸収してくれと言うことなのでしょうか？

えーと、別にどこかで//を/に文字列として変換しているわけではなくて、
そういうパスの指定の仕方が許されているということだと思う。