time コマンド

うへぇ。 time コマンドって内部・外部コマンド両方あるのか。知らんかった。