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