3 ms·And you can use the system sort or gawk's internal sort to get them in order.by mjcohen 3y agoAnd you can use the system sort or gawk's internal sort to get them in order.