Tag Info

Hot answers tagged

13

There are DST-free timezone definitions provided which just define the GMT-offset, called Etc/GMT±X: $ date Mon Apr 7 11:08:56 CEST 2014 $ TZ=Etc/GMT-1 date Mon Apr 7 10:09:16 GMT-1 2014 $ Just link/copy the one you need to /etc/localtime and you should be fine and DST-free: $ ln -s /usr/share/zoneinfo/Etc/GMT-1 /etc/localtime Edit: For non-integer ...


4

Call time myprogram. This reports wall clock time, user time and system time. User time is the time spent by the process in computations. If the program is multithreaded and the machine has multiple processors, the time spent on all processors is summed (so for a sufficiently parallel program, the user time can be more than the wall clock time). The system ...


3

If you can get the pid, which shouldn't be hard with either ps, /proc/self or $! depending on whether or not you background it you can find this in: /proc/$pid/stat: utime %lu (14) Amount of time that this process has been scheduled in user mode, measured in clock ticks (divide by ...


2

The shell does not interpret any backslashes inside single quotes. If you want backslashes to be interprested use the $'...' construct, as in: TIMEFORMAT=$'\nreal\t%3lR\nuser\t%3lU\nsys\t%3lS' From man bash: Words of the form $'string' are treated specially. The word expands to string, with backslash-escaped characters replaced as ...



Only top voted, non community-wiki answers of a minimum length are eligible