On Fri, Dec 07, 2007 at 04:51:29AM +1000, Anthony Towns wrote:
On Thu, Dec 06, 2007 at 07:42:06AM -0800, Russ Allbery wrote:Anthony Towns <email@example.com> writes: > time (???) Likewise. time is a standard Unix program.And which is a built-in on bash, tcsh and zsh, so doesn't seem terribly useful most of the time... (not dash though)
I've never seen anyone use either dash or posh as their default shell, and IME time is only used in interactive shells, so this might not be that important. IMHO it could be relegated to optional.
-- brian m. carlson / brian with sandals: Houston, Texas, US +1 713 440 7475 | http://crustytoothpaste.ath.cx/~bmc | My opinion only a typesetting engine: http://crustytoothpaste.ath.cx/~bmc/code/thwack OpenPGP: RSA v4 4096b 88AC E9B2 9196 305B A994 7552 F1BA 225C 0223 B187
Description: Digital signature