mac で time コマンドを利用しようとしましたが、微妙にLinuxで使っていたものとは別のようでしたので同じものが使えないか調べてみました。 解決方法 gnu-time を brew install すれば良さそうでした。 具体的には以下のコマンドを実行してインストールしま…