Мне нужно получить дату в определенном формате, но не могу решить, как это сделать.
Вот как я получаю дату на данный момент.
date -r "$timestamp" +'%Y-%m-%dT%H:%M:%S.s'
Однако проблема в миллисекундах имеет слишком много цифр для формата, который мне нужен. Мне нужно, чтобы миллисекунды были ограничены тремя цифрами.
Любая идея, как я могу это сделать?
Текущее обходное решение
Неточно, но он работает. Затем я вычисляю миллисекунды, а затем просто беру первые три символа строки. Очевидно, это не учитывает округление.
date_string_one=`date -r "$timestamp" +'%Y-%m-%dT%H:%M:%S.'`
date_string_milli=`date -r "$timestamp" +'%s'`
date_string="$date_string_one"`printf "%.3s" "$date_string_milli"`