[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: priorities

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 <aj@azure.humbug.org.au> 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

Attachment: signature.asc
Description: Digital signature

Reply to: