TIMEFORMATとは 意味・読み方・使い方

timeFormat string to use for time output --- EJSE Options発音を聞く 例文帳に追加

timeFormat 時刻の出力に使用する文字列。 - PEAR

The TIMEFORMAT variable may be set to a format string that specifies how the timing information should be displayed; see the description of TIMEFORMAT under "Shell Variables" below.発音を聞く 例文帳に追加

変数TIMEFORMATには、経過時間情報の表示の仕方を指定するフォーマット文字列を設定できます (後述のシェル変数の項のTIMEFORMATに関する説明を参照)。 - JM

TIMEFORMAT The value of this parameter is used as a format string specifying how the timing information for pipelines prefixed with the time reserved word should be displayed.発音を聞く 例文帳に追加

TIMEFORMATこのパラメータの値は、予約語であるtimeが先頭に付いているパイプラインに対して、時間情報の表示の仕方を指定するフォーマット文字列として使われます。 - JM