time

Иногда нам хочется узнать время в другом часовом поясе. Иногда (но еще реже) нам нужно, чтобы таймзона нашего пользователя была не такой, как системная. Для этого существует переменная окружения TZ, в которую можно записать значение и получить нужный эффект.

$ date
Fri Feb 18 10:22:53 EET 2011
 
$ TZ="America/Chicago" date
Fri Feb 18 02:22:53 CST 2011

Узнать название зоны поточнее всегда можно в каталоге /usr/share/zoneinfo.

Как раз сейчас понадобилось замерить время работы скрипта... Поискал тут, не нашел :( Зато гугль помог. А все оказалось не просто, а очень просто:

$ time for i in {1..100000} ; do echo $i $>/dev/null ; done
 
real	0m3.680s
user	0m2.964s
sys	0m0.692s

ЗЫЖ В sh этого нету.