У меня есть сценарий на while . В то время как я хотел бы измерить время, необходимое для его работы, в миллисекундах, что-то вроде этого:
while condition;
do
    #begin measure time at begining
    instructions
    #end measure time at end
    echo "$end-$begin"
done
Я не могу использовать date +%s.%N потому что на моей машине его нет, поэтому мне нужно использовать команду time или times . Есть идеи как?
Спасибо
