Estou usando o shell bash. Se eu tiver um arquivo de números de linha
1
4
7
9
e outro arquivo de linhas onde o primeiro elemento é um número seguido por uma string de texto
1,Michael Jordan
2,Karl Malone,
3,Charles Barkley
4,Greg Anthony
5,Chris Mullen
6,Reggie Miller
7,Billy Owens
8,David Robinson
9,Shaquille O'Neal
10,John Stockton
Como escrevo um awk
comando para extrair linhas do segundo arquivo somente se o primeiro número pertencer ao primeiro arquivo? No exemplo acima, eu esperaria esse resultado
1,Michael Jordan
4,Greg Anthony
7,Billy Owens
9,Shaquille O'Neal
eu tentei isso
awk 'FNR==NR{a[$1];next} $1 in a' /tmp/first_file /tmp/second_file > /tmp/third_file
mas não produz nada no terceiro arquivo.