Сортировать вывод grep по числовому значению после последнего пробела

Question

после запуска grep я получаю следующий вывод:

2.txt:;Number of recorded Units: 16
3.txt:;Number of recorded Units: 15
4.txt:;Number of recorded Units: 26
5.txt:;Number of recorded Units: 22
6.txt:;Number of recorded Units: 12
7.txt:;Number of recorded Units: 3
8.txt:;Number of recorded Units: 19
9.txt:;Number of recorded Units: 3
10.txt:;Number of recorded Units: 7
11.txt:;Number of recorded Units: 3
12.txt:;Number of recorded Units: 35

Например, я установил gawk, но я не знаю, как его кодировать.Я хочу вывод, как это: у меня есть gawk, может кто-нибудь, пожалуйста, предоставить:

7.txt:;Number of recorded Units:    3
9.txt:;Number of recorded Units:    3
11.txt:;Number of recorded Units:   3
10.txt:;Number of recorded Units:   7
6.txt:;Number of recorded Units:   12
3.txt:;Number of recorded Units:   15
2.txt:;Number of recorded Units:   16
1.txt:;Number of recorded Units:   18
8.txt:;Number of recorded Units:   19
5.txt:;Number of recorded Units:   22
4.txt:;Number of recorded Units:   26
12.txt:;Number of recorded Units:  35

(порядок записей (здесь 3) одинаковые значения не имеет значения).Или есть какой-нибудь другой инструмент / программа, более подходящая (например, скрипт Python)?

Answer 1

попробуй:

..yourGrep|sort -n -t':' -k3