Hey there, Paul Smith wrote: >Another option that works (in bash for sure) is to escape the first >character: > > $ \time --verbose echo hi This one is clean and simple. Thumbs up over here. -- Little Girl There is no spoon.