Bonjour,

> pwd
/home/$USER/a
> pwd -P
/home/$USER/b

Pourtant :

> man pwd
...
If no option is specified, -P is assumed.
...

Essayé avec zsh, bash, dash. Tous les builtins sont ko. /bin/pwd est ko.

Du coup je jette un œil dans la doc des shell. Il est indiqué à chaque fois : « si l’option -P est spécifiée alors… ». Oki doki, mais what si elle n’est pas spécifiée ? Les man sont silencieux.

Pris d’un doute :