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 :