On 2010-07-04 14:13, Etaoin Shrdlu wrote:

> $ type -a time
> time is a shell keyword

And the world makes sense again... ;-)

Thanks!

Best regards

Peter K

Reply via email to