Timeline for Increase %e precision with /usr/bin/time shell command
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 14, 2019 at 12:43 | comment | added | mxmlnkn | Long time user of both and didn't know about TIMEFORMAT, I always used sed to extract real time. Thanks! The "because of microsecond resolution." statement put my hopes up that TIMEFORMAT=%6R would work but it seems that the precision digit may only be 0-3. | |
| Mar 31, 2013 at 11:36 | comment | added | Flame_Phoenix | TIMEFORMAT='%3R'; time ( sleep .22222 ) 2>>myFile.txt GOt it ! | |
| Mar 31, 2013 at 11:27 | vote | accept | Flame_Phoenix | ||
| Mar 31, 2013 at 11:27 | comment | added | Flame_Phoenix | Yah, that's it, thanks! I am wondering though, how do I append that to a file? I am trying to use % TIMEFORMAT='%3R'; time ( sleep .22222 ) >> bla.txt but it's not working :S Anyway, selected. I wish I could give you karma++, but I don't have 15 karma -.-' | |
| Mar 31, 2013 at 2:31 | comment | added | slm♦ | See my update, you can control bash's time command using the variable TIMEFORMAT. Is that what you're looking for? | |
| Mar 31, 2013 at 2:31 | history | edited | slm♦ | CC BY-SA 3.0 | added more details |
| Mar 31, 2013 at 1:48 | comment | added | Flame_Phoenix | yes I already knew all of that. So I can conclude that what I want is impossible ? Is there a way to use the bash time version and only get the real secs time with 3 digits? | |
| Mar 31, 2013 at 1:22 | history | answered | slm♦ | CC BY-SA 3.0 |