[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Odd bash behaviour with time:

From: jon
Subject: Re: Odd bash behaviour with time:
Date: Sat, 01 Nov 2014 01:12:36 +0000

> | When the shell is in posix mode, time may be followed by a newline.  In 
> this case, the shell displays the
> | total user and system time consumed by the shell and its children.  The 
> TIMEFORMAT variable may  be  used
> | to specify the format of the time information.
Two comments.

1) The shell is not in posix mode.

2) In non posix mode time with no arguments is not meaningful. Best I
can tell it always returns 0, I still maintain it should return an

# while :; do echo Hello; done
Let it run and run and run
# ^C
# time

real    0m0.000s
user    0m0.000s
sys     0m0.000s

Maybe it should be more like this:

# time
Error, 'time' with no arguments is only meaningful in posix mode

reply via email to

[Prev in Thread] Current Thread [Next in Thread]