bashでtimeを一行表示する
bashでtimeはよく使うんだが3行で表示されるためコピペにはむかない。
一行で表示するにはTIMEFORMATをいじればよい。
$ echo "TIMEFORMAT=$'\nreal:%3lR,user:%3lU,sys:%3lS'" >> ~/.bashrc
実行例
$ TIMEFORMAT=$'\nreal:%3lR,user:%3lU,sys:%3lS' $ time sleep 1 real:0m1.002s,user:0m0.000s,sys:0m0.004s