Пользовательский формат для команды time

Я хотел бы использовать команду time в сценарии bash , чтобы вычислить прошедшее время сценария и записать его в лог-файл. Мне нужен только реальное время , а не пользователь и sys. Тоже нужно в достойном формате. например, 00: 00: 00: 00 (не похоже на стандартный вывод). Я ценю любой совет.

Ожидаемый формат должен быть 00:00:00. 0000 (миллисекунды) [часы]: [минуты]: [секунды]. [Миллисекунды]

У меня уже 3 скрипта. Я видел такой пример:

{ time { # section code goes here } } 2> timing.log

Но мне нужно только реальное время, а не пользователь и sys. Тоже нужно в достойном формате. например, 00: 00: 00: 00 (не похоже на стандартный вывод).

Другими словами, я хотел бы знать, как превратить вывод времени во что-то более простое для обработки.