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.
