Мне нужны только самые последние пять цифр (которые находятся внизу файла, в которых могут быть сотни таких групп)
{Previous entries would be above, perhaps hundreds of similar groups....}
[June 18, 2019, 12:37 pm Europe/Madrid +0200]
--------------------------------------------------
Added: 2
Modified: 3
Deleted: 1
Excluded: 2
Total Time: 5.09
[June 19, 2019, 12:37 pm Europe/Madrid +0200]
---------------------------------------------------
Added: 3
Modified: 0
Deleted: 2
Excluded: 1
Total Time: 6.18
Как мне извлечь числа из этого файла? Я пробовал разные подходы с использованием sed, но особенно захватывает только последние пять значений, ускользает от меня.
Вывод, который я ищу:
echo "<added>3</added>";
echo "<modified>0</modified>";
echo "<deleted>2</modified>";
echo "<excluded>1</excluded>";
echo "<total>6.18</total>";
Меня попросили конкретно показать, что я пытался, потому что тот факт, что я предоставил здесь более 200 ответов для других людей в свободное время, не исключает, что я буду проверен как школьник, поэтому здесь Вы ... это не сработало:
echo $file | awk -F'Added:' '{print $2}'
Надеюсь, это окажется полезным.