Re: Some data on "Re: Gzipping man files"
Dirk> edd@miles:~> time zcat bash.1.gz | groff -man > /dev/null 0.05user
Dirk> 0.01system 0:06.56elapsed 0%CPU (0avgtext+0avgdata 0maxresident)k
Dirk> 0inputs+0outputs (75major+45minor)pagefaults 0swaps
Dirk>
Dirk> So it is _faster_ to use the compressed man pages.
Richard> Errrrrrrr. You're timeing zcat there, and not groff at all.
Richard> Bruce has already commented about clearing the cache.
No, I looked at elapsed wall time as a first approximation before setting up
timer code in C around a system() call. My system was otherwise idle.
--
Dirk Eddelb"uttel http://qed.econ.queensu.ca/~edd
Reply to: