Geoff Clare <g...@opengroup.org> wrote: > > (The simplest proposal is to replace the ksh/bash/mksh/zsh(?) `time' with > > `ptime' and go from there.) > > The new name needs to be something that is unlikely to be in use by > applications or users already. I think ptime is not a good candidate, > as it is a likely choice for an existing script, function or alias name.
Correct! And ptime is in use since 1994, (written by Roger Faulkner) as part of the ptools for procfs. # ptime usage: ptime [-mh] [-p pid | command [ args ... ]] (time a command using microstate accounting) Jörg -- EMail:jo...@schily.net (home) Jörg Schilling D-13353 Berlin joerg.schill...@fokus.fraunhofer.de (work) Blog: http://schily.blogspot.com/ URL: http://cdrecord.org/private/ http://sf.net/projects/schilytools/files/'