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
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