Это можно решить, загрузив VirtualBox с веб-страницы VirtualBox и следуя их инструкциям.
Debian и Ubuntu не лучше всех упаковывают самые последние выпуски VirtualBox. В других дистрибутивах, которые я знаю и использую, таких проблем нет.
Предполагая, что временные метки всегда идут парами,вы можете сделать это с помощью GNU sed
иGNU coreutils
:
# Extract the relevant timestamps and convert them to secs + ns
<infile \
sed -nE 's/(.*) (Aggregated|Flushed).*/\1/; T; s/^/date -d "/; s/$/" +%s.%N/ep' |
# Find the time difference
sed '1~2 s/^/-/' |
paste -d+ - - |
bc |
# Print the difference in the desired format
while read dt; do
date -u -d "1970/01/01 + $(printf "%.3f" $dt) sec" +'%_M min %S sec %3N ms'
done
Выход:
0 min 00 sec 218 ms
0 min 00 sec 262 ms