On Mon, 21 May 2007 00:13:51 +0900, eshsf wrote: >What about this? :-) > >> \time --help
Sly fox :) Escaping the first letter disables bash's alias mechanism, so you get the external /usr/bin/time instead of the bash built-in. Philipp -- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
