Marcation

Thanks to arox and my bad : I was trying to use some full version's option in the built in version of time. 
No need to install time, it's done in armbian, just give the full path\command :
 
root@Bpi2+:~# time -f
-f: command not found
 
real 0m0,484s
user 0m0,396s
sys 0m0,089s
root@Bpi2+:~# which time
/usr/bin/time
root@Bpi2+:~# /usr/bin/time -f
/usr/bin/time: option requires an argument -- 'f'
Usage: /usr/bin/time [-apvV] [-f format] [-o file] [--append] [--verbose]
       [--portability] [--format=format] [--output=file] [--version]
       [--quiet] [--help] command [arg...]
root@Bpi2+:~# /usr/bin/time -f "%E" curl www.orange.fr
0:00.27
 
In such case type "type time" and the shell will inform you (is a shell keyword").
Thank You again I wanted to script some test and collect the results and this format is useful for this.
 
My next step is to remove the ':' in the output (is not trivial to combine 'time' and pipe without writing the output in a file, may be I have to try something else).
Be patient I can only write one post/day....
 
It's nice to have so small SBC and so large facilities and community.  Thank You Armbian !
 
@Werner & @Igor Thank You for replying (maybe too fast ?) but You are wrong when You think that I did'nt red the man pages ... it was more complex.
 

"time" is "built in" into the shell.
 
In order to use the full version described by "man", you should first install the full version in /usr/bin/time :
 
# apt-get install time.
 
And call it with the full path.
 
Also, when man fail to give doc because a package is missing, just google "man cmd".