【 time 】コマンド（外部コマンド）――コマンドの実行時間と実行時のシステムリソース情報を計測する（関連情報）：Linux基本コマンドTips（252）