3 ms·
From what I can tell, the GNU time command has a -f "%F" flag that will provide it. http://man7.org/linux/man-pages/man1/time.1.html http://man7.org/linux/man-
by Retra 8y ago
From what I can tell, the GNU time command has a -f "%F" flag that will provide it.
http://man7.org/linux/man-pages/man1/time.1.html http://man7.org/linux/man-pages/man1/time.1.html