Я пытался найти простой способ форматирования вывода из difftime
в HH: MM: SS.ms. До сих пор я не сталкивался с тем, что меня удивило.
Я написал функцию ниже, которая почти делает это. Ограничение - это представление чисел как значительных одиночных цифр. например 2hr, 3mins, 4.5secs становится "2: 3: 4.5" вместо "02: 03: 04.5"
Есть ли у кого-нибудь лучшее предложение?
format.timediff <- function(start_time) {
diff = as.numeric(difftime(Sys.time(), start_time, units="mins"))
hr <- diff%/%60
min <- floor(diff - hr * 60)
sec <- round(diff%%1 * 60,digits=2)
return(paste(hr,min,sec,sep=':'))
}