By the way, the real command is available in http://cygwin.com/packages/time/
On Wednesday, February 27, 2013 10:59:55 PM UTC+1, Jean-Pierre Flori wrote: > > Ok, that's because usually there are both a bash builtin and a real > command. > http://comments.gmane.org/gmane.os.cygwin/106331 > > On Wednesday, February 27, 2013 10:45:21 PM UTC+1, Jean-Pierre Flori wrote: >> >> But if I do: >> {{{ >> echo "10000000000000000000000000000000000000000" | time QuadraticSieve.exe >> }}} >> I get >> {{{ >> bash: time : commande introuvable >> }}} >> >> On Wednesday, February 27, 2013 10:28:41 PM UTC+1, Jean-Pierre Flori >> wrote: >>> >>> Same result on another system. >>> >>> On Wednesday, February 27, 2013 10:10:45 PM UTC+1, Jean-Pierre Flori >>> wrote: >>>> >>>> $ 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) >>>> >>>> >>>> -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
