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
Copyright (c) 2001 Robert Kiesling. Copyright (c) 2002, 2003 David Merrill. The contents of this document are licensed under the GNU Free Documentation License. Copyright (C) 1999 JM Project All rights reserved.