【 type 】コマンド――シェルがどのコマンドを起動しているかを知る（関連情報）：Linux基本コマンドTips（13）