$ 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.
