Bonjour,
Un collègue de bureau maladroit (:P) voulant accéder au répertoire parent a lancé dans bash ceci :
Et quelle ne fut pas se surprise de voir que le prompt de son bash ressemblait à ceci :Code:$ cd //
Et que pwd indiquait ceci comme répertoire courant :Citation:
[16:30:26]fred@titus://$
Plutôt étrange non? Habituellement les '/' superflus sont échappés par bash :Citation:
[16:30:26]fred@titus://$ pwd
//
Or bash echappe tout sauf le '/' superflu sur la racine.Citation:
[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$
Si on teste avec 3 '/' ou plus, ce qui doit être échappé l'est effectivement :
Testé avec bash sur debian, ubuntu et ... macos X, ce comportement est toujours observé !Citation:
[16:32:41]fred@titus:src$ cd ///
[16:34:52]fred@titus:/$ pwd
/
[16:34:55]fred@titus:/$
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
