狐の王国


2006年02月24日(金) [過去の今日]

#1 timeのフォーマット

最近、timeコマンドがbashの場合シェルの組込になってる事に気付いた。 /bin/shを使ってると/usr/bin/timeに入ってるGNU timeが使われるのだが、これの書式が見にくくてしょうがない。

%Uuser %Ssystem %Eelapsed %PCPU (%Xtext+%Ddata %Mmax)k
%Iinputs+%Ooutputs (%Fmajor+%Rminor)pagefaults %Wswaps

普通にPOSIXフォーマットで出力させるには-pオプションが必要なようだが、どうにかしてこれをデフォルトにできないものだろうか。 manpageを見たりソースをgrepしたりしてみたのだが、設定ファイルの類が見当たらぬ。

で、よく探してみると付属のtime.htmlに環境変数TIMEにフォーマットを記述しておけばいいらしいことがわかった。しかしPOSIXとか書いておいても無駄みたい。ちゃんとフォーマットを書かなければならないらしい。

/* The output format for the -p option .*/
static const char *const posix_format = "real %e\nuser %U\nsys %S";

time.cに以上の記述があるので、

TIME='real %e\nuser %U\nsys %S'

としてみたら、ちゃんとPOSIXフォーマットで出力された。 /bin/shからちゃんと見えるように、~/.profileにでも書いておくべきか。むしろこれがデフォルトであるべきな気がするんだが。/etc/profileに記述しておいてくれてもよさそうな。

(@142)

この記事のURI

最近の記事

以上、1 日分

タイトル一覧


カテゴリ分類
Powered by hns-2.19.8, HyperNikkiSystem Project

過去にこの日記が置いてあったcgi.misao.gr.jpは廃止されました。それによって記事へのURIが変わってしまっています。cgi.misao.gr.jpをwww.misao.gr.jpと置き換えるだけで同じ記事にアクセスできるはずです。

Sugano "狐志庵" Yoshihisa(E) @ 美紗緒ネットワーク <koshian@misao.gr.jp>
日記管理ページ