//
é um caso especial, abordado na definição POSIX da palavra "Pathname" :
Multiple successive
<slash>
characters are considered to be the same as one<slash>
, except for the case of exactly two leading<slash>
characters.
Na maioria dos sistemas //
é o mesmo que /
, mas é permitido ser diferente de acordo com POSIX.
Leitura adicional:
- Em quais sistemas é // foo / bar diferente de / foo / bar?
- Como o Linux lida com vários separadores de caminho consecutivos (/ home //// username /// file)?
- unix, diferença entre o caminho que começa com '/' e '//'
(acho que o primeiro desses links é o melhor.)