Je vais sur http://mywiki.wooledge.org/BashGuide/CommandsAndArguments et suis tombé sur ceci: $ type rm rm is hashed (/bin/rm) $ type cd cd is a shell builtin Un peu plus tôt, le guide répertoriait les différents types de commandes comprises par Bash: alias, fonctions, fonctions intégrées,...