time の結果をリダイレクトする方法
以前教わった気がしたんだが、どこに書いてあるのか忘れてしまったのであれやこれや試す。
echo 'time ls' | sh 2> result
なんかダサイなぁ。
追記
/usr/bin/time 使えと突っ込まれた。Cygwin に入ってたのねぇ。以前、こういうことをやろうとしたのは何でだったろうか。忘れてしまった。
以前教わった気がしたんだが、どこに書いてあるのか忘れてしまったのであれやこれや試す。
echo 'time ls' | sh 2> result
なんかダサイなぁ。
/usr/bin/time 使えと突っ込まれた。Cygwin に入ってたのねぇ。以前、こういうことをやろうとしたのは何でだったろうか。忘れてしまった。