Edit requests of Bash — echo --help でヘルプが表示されない理由から考える シェルの bultin コマンドなどなど