oddmakeの日記： time

[e-mail]:~$ time

real 0m0.000s
user 0m0.000s
sys 0m0.000s
[e-mail]:~$ time time
bash: time: command not found

real 0m0.001s
user 0m0.000s
sys 0m0.000s

うーむ。これはどういうことだ。
それはともかくちょっと見つけたURLをメモしておくか。

timeは

[bananan_w (3061)]

shell の builtin でしょ？だから、
$ time time
はできない。のかな？
$ time echo
とかはできるけど。同じ機能のbuiltinは一つのコマンド(シェルが起動するプロセス？)に
一つだけしか使えない。なのかな？

$ time echo a | while read i ; do time echo $i; done

は期待通りにできるね。

--
$ set -o vi

そうかなるほど

[oddmake (1445)]

私もスクリプトを走らせて確かめようかとか思っていたところでした。
なるほど、そういうことだったのですね。
bananan_wさんにはいつも頭が下がります！！！

--
/.configure;oddmake;oddmake install