Когда date и timedatectl?

Не похоже, что вы могли бы, справочная страница действительно перечисляет ряд опций форматирования, но нет возможности установить точность. Например, кажется, что %e, %Sи %Uвсегда выдают результат с двумя десятичными знаками.

С другой стороны, встроенная функция Bash timeподдерживает установку количества цифр после запятой вплоть до 3, поэтому вы можете использовать ее для получения желаемого. Переменная окружения TIMEFORMATуправляет форматом вывода :

.

$ TIMEFORMAT='real: %3R user: %3U sys: %3S cpu: %P' bash -c 'time sleep 1.233'
real: 1.234 user: 0.000 sys: 0.000 cpu: 0.00

Или просто без установки TIMEFORMAT, так как вывод по умолчанию также показывает три цифры. Однако он разделяет минуты:

$ bash -c 'time sleep 1.233'

real    0m1.234s
user    0m0.000s
sys     0m0.000s

Системный вызовgetrusage()дает время как struct timeval, то есть с точностью до микросекунд, поэтому я полагаю, что вы могли бы сделать свою собственную реализацию timeдля большей точности. Другое дело, насколько точны цифры.