gdirname Cette commande est un alias de -p linux dirname. Voir la documentation de la commande originale : tldr -p linux dirname