Isso é muito bem respondido por Gilles no Unix & amp; Linux: Como o Linux lida com vários separadores de caminhos consecutivos (/ home //// username /// file)?
% bl0ck_qu0te% Nesse caso, suponho que ///
esteja apenas programando cautela excessiva (alguns dev usando /
para unir caminhos quando já tiverem barras à direita ou iniciais, respectivamente).