Следующий код awk работает как положено.
Дата, например 2012-03-10 ~ 12: 59: 41, округляется до ближайших пяти минут, например, 2012-03-10 ~ 12: 55: 00
Как мне изменить это так, чтобы я мог получить год-месяц-день, например 20120310 (без черты)?
BEGIN {
# all fields are separated by ^
FS = "^";
}
{
# $7 is the date and time in the form yyyy-mm-dd hh:mm:ss.
# Split at colons to get hours minutes and seconds into a[1]
# through a[3]. Round minutes to nearest 5.
split($7, a, ":");
a[2] = int(a[2] / 5) * 5;
# print first, second and forth field, then rounded time.
printf "set %s:%s:%s %s:%02d:00\\r\\n\n", $1, $2, $4, a[1], a[2];
}