Bonjour,

Un collègue de bureau maladroit () voulant accéder au répertoire parent a lancé dans bash ceci :

Code : Sélectionner tout - Visualiser dans une fenêtre à part
$ cd //
Et quelle ne fut pas se surprise de voir que le prompt de son bash ressemblait à ceci :

[16:30:26]fred@titus://$
Et que pwd indiquait ceci comme répertoire courant :

[16:30:26]fred@titus://$ pwd
//
Plutôt étrange non? Habituellement les '/' superflus sont échappés par bash :

[16:32:26]fred@titus:~$ cd //home//fred//src//
[16:32:38]fred@titus:src$ pwd
//home/fred/src
[16:32:41]fred@titus:src$
Or bash echappe tout sauf le '/' superflu sur la racine.

Si on teste avec 3 '/' ou plus, ce qui doit être échappé l'est effectivement :
[16:32:41]fred@titus:src$ cd ///
[16:34:52]fred@titus:/$ pwd
/
[16:34:55]fred@titus:/$
Testé avec bash sur debian, ubuntu et ... macos X, ce comportement est toujours observé !

Avec d'autres shells, tous les '/' superflus sont échappés oO.

S'agit-il d'un bug historique de bash?
S'agit-il d'un comprtement attendu? oO

++
Fred