¿Cuál es la diferencia entre cd /
y cd //
? Podemos ver que agregar /
al final no hace nada. Pero cuando lo hago cd //
y pwd
, encontré:
$ cd //
$ pwd
//
¿Cuál es la diferencia entre /
y //
? Un ls
en ambos directorios muestra el mismo contenido. ¿Por qué es //
necesario?
Respuesta1
/
y //
están apuntando al mismo directorio. Verlas barras repetidas en un camino equivalen a una sola barra
Este comportamiento lo exige POSIX y la mayoría de las aplicaciones siguen su ejemplo. La excepción es que "un nombre de ruta que comienza con dos barras sucesivas puede interpretarse de una manera definida por la implementación".
Lo que estás viendo, de hecho, no es que Linux esté haciendo nada especial con
//
el seguimiento del directorio actual de bash.
$ bash -c 'cd //; pwd'
//
$ bash -c 'cd //; /bin/pwd'
/