Quale directory rappresenta il percorso `//` in Linux?

Quando voglio tornare alla directory di livello superiore in Linux digitando cd .., ho scritto a macchina cd //. Con mia grande sorpresa, non vengono segnalati errori. Inoltre, il prompt diventa username@hostname://$. lsindica che ora sono nella directory principale.

È un bug o una caratteristica della shell? Se una funzione, è //un alias di /? La mia shell è GNU bash, versione 4.1.5 (1) -release (i686-linux-gnu).

Grazie e distinti saluti.

Può essere considerato neanche.

In Linux, //non significa nulla: più barre consecutive vengono ridotte a una, ovunque nel percorso, incluso l'inizio. Cambiare directory per //metterti in /, come readlink /proc/self/cwddirebbe in esecuzione ; allo stesso modo, /usr//local///binè crollato a /usr/local/bin.

Tuttavia, alcuni altri sistemi simili a Unix, ad esempio Cygwin o il vecchio dominio / sistema operativo Apollo, utilizzano il // prefisso per percorsi di rete come //fileserver/path/to/data. POSIX consente anche questo.

Per vari motivi, la shell bash tiene traccia autonomamente della directory corrente (oltre al tracciamento fornito dal sistema operativo) e contiene del codice che impedisce al //collasso iniziale di rimanere compatibile con tali sistemi. La "caratteristica" è che bash fornisce un tracciamento più intuitivo della directory corrente, ad esempio, quando si trova cdin un collegamento simbolico, bash ti mostrerà il percorso che ti aspetti, anche se il kernel la pensa diversamente. Il "bug" è che bash lo consente //anche su sistemi che non lo usano.

Dalla definizione del percorso POSIX:

Un percorso può eventualmente contenere una o più barre finali. Molte barre successive sono considerate uguali a una barra.

fonte

E più precisamente come la gravità menzionata nel suo commento qui sotto, dal capitolo 4.11 sulla risoluzione del nome percorso:

Un nome di percorso che inizia con due barre successive può essere interpretato in modo definito dall'implementazione, anche se più di due barre iniziali devono essere trattate come una barra singola.

È una specie di caratteristica. Se hai lo script di shell attivo e utilizzabile find, ad esempio tutti i percorsi hanno il prefisso ./ di solito. Quindi, se lo attacchi su un percorso effettivo, diventa `/my/path/./appended/path, che si risolve in / my / path / appended / path. Quindi, se non sbaglio, // get viene interpretato come /./ e quindi /. Questo è lo stesso per se andassi in / home / user //, finiresti in / home / user /

Vorrei richiedere la visualizzazione di "bug".

Entrambi i percorsi "/", "//", "//////////////////////", ... hanno lo stesso significato: "/". Puoi aggiungere quanti "/" dove vuoi in un percorso Unix, questo non ne modifica il significato.

Il "bug" è più qui correlato al fatto che il tuo prompt utilizza l'ultimo percorso digitato valido per la visualizzazione, non l'attuale "pwd".

Divertente comunque;)

È una caratteristica e tutti i // multipli verranno sostituiti in un singolo /

È utile se alla fine sono presenti variabili con percorsi come nell'esempio. Quindi il tuo cd non otterrà alcun errore e non dovrai cambiare la variabile dell'area di lavoro.

MY_WORKSPACE = / home / nome_utente / lavoro /
MY_NEW_PROJECT = $ MY_WORKSPACE / my_proj /
cd $ MY_NEW_PROJECT 

il contenuto completo della variabile di progetto è

/ Home / nome_utente / area di lavoro // my_proj /