Grep time command output

Question

Using time ls, I have the following output:

$ time ls -l 
total 2
-rwx------+ 1 FRIENDS None 97 Jun 23 08:59 location.txt
-rw-r--r--+ 1 FRIENDS None         


        

Answer 1

I think, it can be made a little easier:

time ls &> /dev/null | grep real