J'ai ajouté une remarque sur l'article ce matin mais à mon avis la population utilisant massivement les flux RSS le lecteur ne verra pas l'ajout donc je le rajoute ci-dessous.

Remarque : Je vous invite à faire man pwd, c’est le man de /bin/pwd (et pas le pwd commande interne au shell donc) et constater que « Si aucune option n’est indiquée, -P est assumé ». La commande pwd (interne au shell) ne fonctionne pas de la même façon que la commande /bin/pwd. Pour vous en convaincre placez-vous dans le dossier repln puis faites /bin/pwd puis pwd.