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