bash timeコマンドの書式を変更する（$TIMEFORMAT）

　マシンリーダブルにする。

timeコマンド

　ふつうtimeコマンドは以下のような3行になっている。

$ time sleep 2

real   0m2.007s
user    0m0.001s
sys 0m0.006s

書式の変更

　LTSV形式にすると以下。

TIMEFORMAT=$'\nreal:%3lR\tuser:%3lU\tsys:%3lS'
time sleep 2

real:0m2.007s    user:0m0.007s   sys:0m0.000s

種類	記述
real	%3lR
user	%3lU
sys	%3lS

対象環境

• Raspbierry pi 3 Model B+
• Raspbian stretch 9.0 2018-11-13
• bash 4.4.12

$ uname -a
Linux raspberrypi 4.14.98-v7+ #1200 SMP Tue Feb 12 20:27:48 GMT 2019 armv7l GNU/Linux