Does "time" work on cygwin?

[Jeroen Demeyer]

If you have a Cygwin:

please tell me the output of the following shell commands:

$ time true
$ type time
$ /bin/sh -c "time true"
$ bash -c "time true"

[Jean-Pierre Flori]

I can tell you this evening.

[leif]

FWIW, 'time' is (also) a bash built-in function.


-leif

--
() The ASCII Ribbon Campaign
/\ Help Cure HTML E-Mail

[luisfe]

user@frink /opt/sage/sage
$ time true

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

user@frink /opt/sage/sage
$ type time
time es una palabra clave del shell

user@frink /opt/sage/sage

$ /bin/sh -c "time true"

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

user@frink /opt/sage/sage

$ bash -c "time true"

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

Second line means that time is a keyword of the shell

[leif]

More interesting would probably be

$ which time

or

$ `which time` true


(/bin/sh is presumably almost always bash on Cygwin.)

[Jean-Pierre Flori]

$ time true

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

$ type time
time est un mot-clé du shell

$ /bin/sh -c "time true"

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

$ bash -c "time true"

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

$ which time
which: no time in (/usr/local/bin:/usr/bin:/cygdrive/c/windows/system32:/cygdrive/c/windows:/cygdrive/c/windows/System32/Wbem:/cygdrive/c/windows/System32/WindowsPowerShell/v1.0:/cygdrive/c/Program Files/Broadcom/Broadcom 802.11 Network Adapter/Driver:/cygdrive/c/Program Files/WIDCOMM/Bluetooth Software:/cygdrive/c/Program Files/QuickTime/QTSystem:/usr/lib/lapack)

[Jean-Pierre Flori]

Same result on another system.

[Jean-Pierre Flori]

But if I do:
{{{
echo "10000000000000000000000000000000000000000" | time QuadraticSieve.exe
}}}
I get
{{{
bash: time : commande introuvable

[Jean-Pierre Flori]

Ok, that's because usually there are both a bash builtin and a real command.
http://comments.gmane.org/gmane.os.cygwin/106331

[Jean-Pierre Flori]

By the way, the real command is available in http://cygwin.com/packages/time/

[Jeroen Demeyer]

On 2013-02-27 22:45, Jean-Pierre Flori wrote:
> But if I do:
> {{{
> echo "10000000000000000000000000000000000000000" | time QuadraticSieve.exe
> }}}
> I get
> {{{
> bash: time : commande introuvable
> }}}

...which has nothing to do with Cygwin.

On my Gentoo Linux system:
cat /dev/null | time cat
bash: time: command not found

The correct syntax is
time cat /dev/null | cat

[Jean-Pierre Flori]

So the way time is used in sage/interface/qsieve.y is just broken.