NetBSD 絹の日記

やはり time は sh 形式でなく csh 形式にして欲しいな(その方が情報が多い)

gmake -j 2 >& gcc-4.2.1-m68hc11-log  
341.10s user 103.33s system 54% cpu 13:36.70 total

csh/tcsh 形式:

0.000u 0.001s 0:00.00 0.0%      0+0k 0+0io 0pf+0w

TIMEFMT という変数 (p247) はあるらしいが page fault とか io とかは含まれていない。

(以下 2009/07/07 追記)
メールで教えていただきました。 TIMEFMT に色々あるようです。

genova@makoto 13:51:52/090706(..local-src/gcc-4.2.1-m68hc11)% cat ~/.zshenv 
#stty icrnl
export HISTSIZE=100
export TIMEFMT="%U %S %*E %P %X+%Dk %I+%Oio %Fpf+%Ww"

man zsh とすると、いろいろ分けてある、全部を見るなら man zshall を使ってね、とか言われるが上の TIMEFMT は man zshparm にある
%U も %S も「秒」の意味で両方とも 0.00s のように s を表示する。 tcsh/csh の場合には 0.00u 0.00s のように user/system の表示をする。少し違うが、知っていれば問題ない

modena@makoto 18:11:39/090707(..gcc/sample_code)% time sleep 2
0.00s 0.00s 2.005 0% 0+0k 0+0io 0pf+0w

これで login shell にするかなという気になって来た

＠ history の時刻:

history とか fc -l と入した時に

   51  history |grep configure
   52  history
   53  cat ~/.zshrc
   54  cat ~/.zshenv
   55  export HISTSIZE=100

のように出ると思うが、tcsh だと、次のように時刻が表示される。僕はこの方が情報が多くて都合が良いと思っている。

    99  10:52   grep ac.jp ~/.elmo/sendlog
   100  8:00    time date

setopt EXTENDED_HISTORY かな
そうではなくて fc -d すれば良い (p65)。実は HISTSIZE=100 と設定していても fc -l で 16 個しか表示されないので、変だなぁと思っていたが、 fc -ld -100 等とすると時刻付で 100 個表示してくれる。fc -fld -100 すると、日付も表示してくれるので、大変うれしい。 fc -ifld -100 と i を付けた方が、見慣れた形式になる。 zsh の本 p65)

2009年07月06日(月) 旧暦 [n年日記] [更新:"2009/07/07 18:29:29"]

#1 [shell] (zsh) time の形式と history の時刻

＠ history の時刻:

#2 [gcc] (gcc) m68hc11 の configure