Michael A. Marsh writes: > Those of us using sid would appear to have a different (and friendlier) > behavior for bash's time builtin. Except for those of us who have not updated bash since dinosaurs roamed the Earth. -- John Hasler