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.
