On Sat, 19 May 2007 11:15:28 -0600, Carlos F Lange wrote: > [EMAIL PROTECTED]:~> which time > /usr/bin/time > [EMAIL PROTECTED]:~> type time > time is a shell keyword > [EMAIL PROTECTED]:~> time --help > bash: --help: command not found > > real 0m0.011s > user 0m0.000s > sys 0m0.004s
In bash, the 'which' command is normally an alias for the bash built-in command type (try 'type -a which'). Philipp -- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
