• [^] # Re: peut-être une erreur dans le manuel

    Posté par . En réponse au message Un bug dans les shell ?!!!! Mais en fait non (Linux fuck Posix). Évalué à 1. Dernière modification le 27 août 2023 à 22:38.

    Effectivement, j'utilisais la commande interne pwd du shell bash
    et il n'y a pas d'erreur dans le manuel de la commande /usr/bin/pwd 

    mic@deb12:~/Téléchargements$ /usr/bin/pwd
/mnt/Téléchargements
mic@deb12:~/Téléchargements$ /usr/bin/pwd -P
/mnt/Téléchargements
mic@deb12:~/Téléchargements$ /usr/bin/pwd -L
/home/mic/Téléchargements
mic@deb12:~/Téléchargements$

    ... et dans ce royaume, ceux qui y voient un peu plus clair sont parfois très mal vus.