Connaitre le temps d'exécution d'une ou plusieurs commandes

1 Introduction

You may need to know exactly the time of launching some commands. Time is for you.

Command is a bash builtin.

2 Examples

The last ; is important. example:

time

time { rm -rf /folder/bar && mkdir -p /folder/bar ; echo "done" ; }