Я использовал команду времени для выполнения программы (например, «xxx $ time ./a.out»), с выводом следующим образом,
real 0m7.250s
usr 0m10.395s
sys 0m0.026s
Что я хочу получить, это 0 и 7.250, как в0m7.250s.Я пробовал "awk '{print $ 2}'", но безуспешно;там ничего не выводится.
PS: я попытался поместить вывод команды времени в файл, используя ">", также безуспешно.