2019-01-03から1日間の記事一覧
やりたいこと シェルスクリプト上でコマンドの実行時間を変数に格納したかった. dateコマンドで前後の時間差から求めると,ブラウザのプロセスなどのノイズが大きいため,timeコマンドで測りたい. コマンド (この場合はユーザ空間での実行時間) TIME=`(/us…
やりたいこと シェルスクリプト上でコマンドの実行時間を変数に格納したかった. dateコマンドで前後の時間差から求めると,ブラウザのプロセスなどのノイズが大きいため,timeコマンドで測りたい. コマンド (この場合はユーザ空間での実行時間) TIME=`(/us…